TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Automated Module Testing in Prolog
IEEE Transactions on Software Engineering
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementation-based analysis and testing of Prolog programs
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
The 3 R's of optimizing constraint logic programs: refinement, removal and reordering
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Test case generation by means of learning techniques
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Semantics of constraint logic programs with optimization
ACM Letters on Programming Languages and Systems (LOPLAS)
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Testing by means of inductive program learning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Exploring dataflow testing of arrays
ICSE '93 Proceedings of the 15th international conference 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
Test-Case Generation from Prolog-Based Specifications
IEEE Software
Automated testing using executable formal specifications
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Hi-index | 0.00 |