The OpenMP source code repository is based on a set of representative applications and it is supported by a web site. It is an infrastructure that we make available to the communi...
Coupling in software has been linked with maintainability and existing metrics are used as predictors of external software quality attributes such as fault-proneness, impact analy...
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
This paper presents an application framework in which declarative specifications of debugging actions are translated into execution monitors that can automatically detect bugs. Th...
Mikhail Auguston, Clinton Jeffery, Scott Underwood
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...