651 search results - page 91 / 131 » Precise Analysis of Java Programs Using JOANA |
150
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
151
click to vote
TSE
2011
14 years 9 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
116
click to vote
PPPJ
2009
ACM
15 years 9 months ago
2009
ACM
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, man...
130
Voted
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
109
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...