Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Parametric shape analysis via 3-valued logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
A static analyzer for large safety-critical software
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Test input generation with java PathFinder
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
CUTE: a concolic unit testing engine for C
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Effective typestate verification in the presence of aliasing
Proceedings of the 2006 international symposium on Software testing and analysis
Mop: an efficient and generic runtime verification framework
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Making trace monitors feasible
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Predicting accurate and actionable static analysis warnings: an experimental approach
Proceedings of the 30th international conference on Software engineering
Differential symbolic execution
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
VS3: SMT Solvers for Program Verification
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
A lightweight code analysis and its role in evaluation of a dependability case
Proceedings of the 33rd International Conference on Software Engineering
Hi-index | 0.00 |
The past decade has produced a range of techniques for assessing the correctness of software systems. These techniques, such as various forms of static analysis, automated verification, and test generation, are capable of producing a variety of forms of evidence showing that the software behavior meets its specified properties. We contend that, as currently formulated, existing techniques fail to externalize all of the useful pieces of evidence that they compute which limits the opportunities to obtain a comprehensive and accurate assessment of property-behavior conformance. Explicitly accounting for the ways that V&V techniques produce partial evidence offers the potential to look beyond the boundaries of individual analysis, verification, and testing techniques to consider the larger question of how the techniques fit together to provide an explicit body of evidence about software system quality.