Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
Test sets generation from algebraic specifications using logic programming
Journal of Systems and Software
Mockingbird: a logical methodology for testing
Journal of Logic Programming - Logic programming applications
Automated Test Case Generation for Programs Specified by Relational Algebra Queries
IEEE Transactions on Software Engineering
The mythical man-month (anniversary ed.)
The mythical man-month (anniversary ed.)
Test case generation using Prolog
ICSE '85 Proceedings of the 8th international conference on Software engineering
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using attributed grammars to test designs and implementations
ICSE '81 Proceedings of the 5th international conference on Software engineering
Test template framework: a specification-based testing case study
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Implementation-based analysis and testing of Prolog programs
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
ANT—a test harness for the NELSIS CAD system
EURO-DAC '92 Proceedings of the conference on European design automation
Test case generation by means of learning techniques
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
State abstraction and modular software development
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
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
Testing by means of inductive program learning
ACM Transactions on Software Engineering and Methodology (TOSEM)
The role of testing methodologies in open systems standards: a POSIX experience report
ICSE '94 Proceedings of the 16th international conference on Software engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Testing generic Ada packages with APE
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
A framework for table driven testing of Java classes
Software—Practice & Experience
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems
Software Quality Control
Testing the C set++ collection class library
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
An open framework for managed regression testing
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Two case studies in grammar-based test generation
Journal of Systems and Software
An approach to integration testing based on data flow specifications
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Hi-index | 0.02 |
Tools and techniques for writing scripts in Prolog that automatically test modules implemented in C are presented. Both the input generation and the test oracle problems are addressed, focusing on a balance between the adequacy of the test inputs and the cost of developing the output oracle. The authors investigate automated input generation according to functional testing, random testing, and a novel approach based on trace invariants. For each input generation scheme, a mechanism for generating the expected outputs has been developed. The methods are described and illustrated in detail. Script development and maintenance costs appear to be reasonable, and run-time performance appears to be acceptable.