Software testing and evaluation
Software testing and evaluation
ANNA: a language for annotating Ada programs
ANNA: a language for annotating Ada programs
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
Implicit-specification errors and automatic, trace-based debugging
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Polymorphism and subtyping in interface
IDL '94 Proceedings of the workshop on Interface definition languages
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Dynamic Verification of C++ Generic Algorithms
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Debugging object-oriented programs with behavior views
Proceedings of the sixth international symposium on Automated analysis-driven debugging
| Hi-index | 0.00 |
Debugging techniques and tools that draw on both the high-level concepts (defined as functions) used in formal specifications and the abstraction and information-hiding constructs used in modern languages are described. The technique is based on two components. One is a novel specification language with support tools. Ada programs are specified with a language that the authors created called Anna. Their tool set is used to check the Ada program's runtime behavior for consistency with the Anna specifications. The other technique uses the tool set to find missing specifications by comparing the specification with program prototypes and to test and debug Ada programs after an accepted specification has been developed. The approach, called two-dimensional pinpointing, locates inconsistencies in software that is structured in levels.