Add to ORKGThis paper reports the results of an empirical comparison of several static analysis tools for evaluating properties of concurrent software and also reports the results of our attempts to build predictive models for each of the tools based on program and property characteristics. Although this area seems well suited to empirical investigation, we encountered a number of significant issues that make designing a sound and unbiased study surprisingly difficult. These experiment design issues are also discussed in this paper
The lock-based shared memory model has proven to be error prone and difficult to test. Furthermore a...
Concurrency is a ubiquitous phenomenon in modern software ranging from distributed systems communica...
This paper presents several techniques for improving the accuracy of static analysis of concurrent A...
Developers of concurrent software need cost-effective analysis techniques to acquire confidence in t...
ABSTRACT formally, experimentation can help develop estimates of Software engineering has suffered f...
In this paper we demonstrate how static concurrency analysis techniques can be used to verify applic...
Abstract—Detecting bugs in concurrent software is challeng-ing due to the many different thread inte...
In this paper we demonstrate how static concurrency analysis techniques can be used to verify applic...
Stand-alone techniques for the analysis and testing of the synchronization structure of concurrent p...
Verification and validation is one of the most important concerns in the area of software engineerin...
Concurrent programs are pervasive owing to the increasing adoption of multi-core systems across the ...
The results of empirical studies in Software Engineering are limited to particular contexts, difficu...
In this work we follow an intermediate approach that tries to use sound and conservative static code...
Abstract. Duet is a static analysis tool for concurrent programs in which the number of executing th...
The strength of program static analysis techniques lies on its ability to detect faulty behaviors p...
The lock-based shared memory model has proven to be error prone and difficult to test. Furthermore a...
Concurrency is a ubiquitous phenomenon in modern software ranging from distributed systems communica...
This paper presents several techniques for improving the accuracy of static analysis of concurrent A...
Developers of concurrent software need cost-effective analysis techniques to acquire confidence in t...
ABSTRACT formally, experimentation can help develop estimates of Software engineering has suffered f...
In this paper we demonstrate how static concurrency analysis techniques can be used to verify applic...
Abstract—Detecting bugs in concurrent software is challeng-ing due to the many different thread inte...
In this paper we demonstrate how static concurrency analysis techniques can be used to verify applic...
Stand-alone techniques for the analysis and testing of the synchronization structure of concurrent p...
Verification and validation is one of the most important concerns in the area of software engineerin...
Concurrent programs are pervasive owing to the increasing adoption of multi-core systems across the ...
The results of empirical studies in Software Engineering are limited to particular contexts, difficu...
In this work we follow an intermediate approach that tries to use sound and conservative static code...
Abstract. Duet is a static analysis tool for concurrent programs in which the number of executing th...
The strength of program static analysis techniques lies on its ability to detect faulty behaviors p...
The lock-based shared memory model has proven to be error prone and difficult to test. Furthermore a...
Concurrency is a ubiquitous phenomenon in modern software ranging from distributed systems communica...
This paper presents several techniques for improving the accuracy of static analysis of concurrent A...