Abstraction and specification in program development
Abstraction and specification in program development
Concurrent runtime checking of annotated Ada programs
Proc. of the sixth conference on Foundations of software technology and theoretical computer science
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Eiffel: a language and environment for software engineering
Journal of Systems and Software
The Turing programming language
Communications of the ACM
The Z notation: a reference manual
The Z notation: a reference manual
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study
IEEE Transactions on Software Engineering
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Surveyors' forum: runtime checking and debugging of formally specified programs
ACM Computing Surveys (CSUR)
Run-time consistency checking of algebraic specifications
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Eiffel: the language
The Z notation: a reference manual
The Z notation: a reference manual
Extensions to the C programming language for enhanced fault detection
Software—Practice & Experience
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Designing programs that check their work
Journal of the ACM (JACM)
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Properties of Programs and the First-Order Predicate Calculus
Journal of the ACM (JACM)
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
An Introduction to Proving the Correctness of Programs
ACM Computing Surveys (CSUR)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
A contribution to the development of ALGOL
Communications of the ACM
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Behavioral contracts and behavioral subtyping
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Inside C#
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
The Science of Programming
Microsoft Secrets: How the World's Most Powerful Software Company Creates Technology, Shapes Markets, and Manages People
A Discipline of Programming
The Java Language Specification
The Java Language Specification
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
Industrial strength exception freedom
Proceedings of the 2002 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
Computer
Task Sequencing Language for Specifying Distributed Ada Systems
Proceedings of the Parallel Architectures and Languages Europe, Volume I
Improving Software Testability with Assertion Insertion
Proceedings of the IEEE International Test Conference on TEST: The Next 25 Years
Bug isolation via remote program sampling
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
An interval logic for higher-level temporal reasoning
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
Proceedings of an ACM conference on Language design for reliable software
New assertion concepts for self-metric software validation
Proceedings of the international conference on Reliable software
Design of self-checking software
Proceedings of the international conference on Reliable software
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Two Controlled Experiments Concerning the Usefulness of Assertions as a Means for Programming
ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
Stanford Pascal Verifier user manual
Stanford Pascal Verifier user manual
Profiling Deployed Software: Assessing Strategies and Testing Opportunities
IEEE Transactions on Software Engineering
Applying classification techniques to remotely-collected program execution data
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Assertions for the Tcl language
TCLTK'97 Proceedings of the 5th conference on Annual Tcl/Tk Workshop 1997 - Volume 5
An Overview of Anna, a Specification Language for Ada
IEEE Software
Debugging Ada Tasking Programs
IEEE Software
An Introduction to the Construction and Verification of Alphard Programs
IEEE Transactions on Software Engineering
High-level debugging of distributed systems: The behavioral abstraction approach
Journal of Systems and Software
An interactive program verification system
IEEE Transactions on Software Engineering
Randomized Differential Testing as a Prelude to Formal Verification
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Formal constraints on memory management for composite overloaded operations
Scientific Programming
Efficient runtime invariant checking: a framework and case study
WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
New Challenges in Model Checking
25 Years of Model Checking
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
FM '08 Proceedings of the 15th international symposium on Formal Methods
Using runtime testing to detect defects in applications without test oracles
Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
Contract Specification in Java: Classification, Characterization, and a New Marker Method
IEICE - Transactions on Information and Systems
Invariant-driven specifications in Maude
Science of Computer Programming
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Monitoring probabilistic properties
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Research Issues in the Automated Testing of Ajax Applications
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Runtime checking for program verification
RV'07 Proceedings of the 7th international conference on Runtime verification
Runtime checking for separation logic
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Monitor optimization via stutter-equivalent loop transformation
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Reliable software development: analysis-aware design
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Brace: an assertion framework for debugging cyber-physical systems
Proceedings of the 34th International Conference on Software Engineering
JSART: javascript assertion-based regression testing
ICWE'12 Proceedings of the 12th international conference on Web Engineering
Notions of aliasing and ownership
Aliasing in Object-Oriented Programming
Hi-index | 0.00 |
This report presents initial results in the area of software testing and analysis produced as part of the Software Engineering Impact Project. The report describes the historical development of runtime assertion checking, including a description of the origins of and significant features associated with assertion checking mechanisms, and initial findings about current industrial use. A future report will provide a more comprehensive assessment of development practice, for which we invite readers of this report to contribute information.