Handbook of software engineering
Handbook of software engineering
Fourth-generation languages. Volume I: principles
Fourth-generation languages. Volume I: principles
Specification directed module testing
IEEE Transactions on Software Engineering
Principles of Database Systems
Principles of Database Systems
Art of Software Testing
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Automated Module Testing in Prolog
IEEE Transactions on Software Engineering
Test case generation by means of learning techniques
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Testing by means of inductive program learning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
On the divide-and-conquer approach towards test suite reduction
Information Sciences: an International Journal
Evaluation of Regressive Methods for Automated Generation of Test Trajectories
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Testing database transactions with AGENDA
Proceedings of the 27th international conference on Software engineering
Information and Software Technology
A Software Test Cases Automated Generation Algorithm Based on Immune Principles
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Constraint-based test database generation for SQL queries
Proceedings of the 5th Workshop on Automation of Software Test
Qex: symbolic SQL query explorer
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Hi-index | 0.00 |
Black-box software testing requires test cases to be generated from specifications alone. However, it is impossible to automate the process completely for arbitrary specifications. Specifications are thus restricted to being written entirely in terms of relational algebra expressions. An automated test case generation method is developed for such specifications.