Proving Properties of Complex Data Structures
Journal of the ACM (JACM)
Abstract data types and the development of data structures
Communications of the ACM
Abstract data types and software validation
Communications of the ACM
Communications of the ACM
ACM SIGPLAN Notices
Report on the programming language Euclid
ACM SIGPLAN Notices
TEAM: a support environment for testing, evaluation, and analysis
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Testing the Completeness of Specifications
IEEE Transactions on Software Engineering
Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Run-time consistency checking of algebraic specifications
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Case studies on testing object-oriented programs
TAV4 Proceedings of the symposium on Testing, analysis, and verification
A survey of software functional testing methods
ACM SIGSOFT Software Engineering Notes
Automated Module Testing in Prolog
IEEE Transactions on Software Engineering
An automated tool for analyzing completeness of equational specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Generating a test oracle from program documentation: work in progress
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software trustability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Daistish: systematic algebraic testing for OO programs in the presence of side-effects
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Issues in the full scale use of formal methods for automated testing
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
ACM SIGSOFT Software Engineering Notes
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
The role of testing methodologies in open systems standards: a POSIX experience report
ICSE '94 Proceedings of the 16th international conference on Software engineering
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
In black and white: an integrated approach to class-level testing of object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing generic Ada packages with APE
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
ICSE '85 Proceedings of the 8th international conference on Software engineering
PLEASE:Predictable Logic based ExecutAble SpeCifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Assessing Test Data Adequacy through Program Inference
ACM Transactions on Programming Languages and Systems (TOPLAS)
Testing monadic code with QuickCheck
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Provable Improvements on Branch Testing
IEEE Transactions on Software Engineering
Testing monadic code with QuickCheck
ACM SIGPLAN Notices
Testing from Formal Specifications, a Generic Approach
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
An Informal Formal Method for Systematic JUnit Test Case Generation
Proceedings of the Second XP Universe and First Agile Universe Conference on Extreme Programming and Agile Methods - XP/Agile Universe 2002
A Comparison of the BTT and TTF Test-Generation Methods
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Testing the C set++ collection class library
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
The Specification-Based Testing of a Trusted Kernel: MK++
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
A Tool for Writing and Debugging Algebraic Specifications
Proceedings of the 26th International Conference on Software Engineering
Implementation prototypes in the development of programming language features
Proceedings of the workshop on Rapid prototyping
Toward type-oriented dynamic vertical migration
ACM SIGMICRO Newsletter
Class development and testing in the small
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Designing and comparing automated test oracles for GUI-based software applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Developing and debugging algebraic specifications for Java classes
ACM Transactions on Software Engineering and Methodology (TOSEM)
JAxT and JDI: the simplicity of junit applied to axioms and data invariants
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Simple dynamic assertions for interactive program validation
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Institutions, property-aware programming and testing
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
The axioms strike back: testing with concepts and axioms in C++
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Axiom-Based Transformations: Optimisation and Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Testing data types implementations from algebraic specifications
Formal methods and testing
A property based specification formalism classification
Journal of Systems and Software
A note on traces refinement and the conf relation in the unifying theories of programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Testing techniques in software engineering
Testing techniques in software engineering
Specification coverage for testing in circus
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
An experimental assessment of module documentation-based testing
Information and Software Technology
QuickCheck: a lightweight tool for random testing of Haskell programs
ACM SIGPLAN Notices
Jartege: a tool for random generation of unit tests for java classes
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Checking formal specifications by testing
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
A Tool for Testing Data Type Implementations from Maude Algebraic Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Evaluating a data abstraction testing system based on formal specifications
Journal of Systems and Software
What good are strong specifications?
Proceedings of the 2013 International Conference on Software Engineering
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
| Hi-index | 0.00 |