2005
DOI: 10.1145/1082983.1083247
|View full text |Cite
|
Sign up to set email alerts
|

Dynamic analysis of java applications for multithreaded antipatterns

Abstract: Formal verification is not always applicable to large industrial software systems due to scalability issues and difficulties in formal model and requirements specification. The scalability and model derivation problems could be alleviated by runtime trace analysis, which combines both testing and formal verification. We implement and compare an ad-hoc custom approach and a formal approach to detect common bug patterns in multithreaded Java software. We use the tracing platform of the Eclipse IDE and state-of-t… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
4
0

Year Published

2007
2007
2013
2013

Publication Types

Select...
5
3

Relationship

0
8

Authors

Journals

citations
Cited by 9 publications
(4 citation statements)
references
References 22 publications
0
4
0
Order By: Relevance
“…Contrary to design patterns, antipatterns describe what not to do. There exist general antipatterns [3] and antipatterns specific to concurrent processes [46], J2EE [47], [48], performance [49], XML [48], and other sub-fields of software engineering.…”
Section: ) Running Examplementioning
confidence: 99%
“…Contrary to design patterns, antipatterns describe what not to do. There exist general antipatterns [3] and antipatterns specific to concurrent processes [46], J2EE [47], [48], performance [49], XML [48], and other sub-fields of software engineering.…”
Section: ) Running Examplementioning
confidence: 99%
“…(s) Spin Wait Busy Waiting (Boroday et al, 2005) The Spin Wait anti-pattern describes the problem of actively waiting for a condition (i.e. repeatedly checking the condition).…”
Section: Name Referencementioning
confidence: 99%
“…For example, in [15] data-flow antipatterns help to discover errors in workflows and are formalized through the CTL* temporal logic. As another example, in [16] antipatterns help to discover multi threading problems of java applications and are specified through the LTL temporal logic.…”
Section: Related Workmentioning
confidence: 99%