Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Tutorial notes on partial evaluation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Testing by means of inductive program learning
ACM Transactions on Software Engineering and Methodology (TOSEM)
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Assessing Test Data Adequacy through Program Inference
ACM Transactions on Programming Languages and Systems (TOPLAS)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Algorithmic Program DeBugging
CASTING: A Formally Based Software Test Generation Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A Survey of Program Slicing Techniques.
A Survey of Program Slicing Techniques.
Composite connectors for composing software components
SC'07 Proceedings of the 6th international conference on Software composition
A catalogue of component connectors to support development with reuse
Journal of Systems and Software
| Hi-index | 0.00 |
Software development is concerned with more than just generation of code; the program must have the desired properties, and these must be demonstrated via suitable tests and correctness arguments. One way of viewing these aspects is to group them into programs, properties, and data. When represented as vertices in a triangle, the edges represent processes to produce one element from another. The research reported in this article aims at practical methods for automatic test generation by restricting the use of both predicate logic and programming constructs. It promises to eventually result in practical domain- specific programming languages, with a significant boost in both quality and productivity.