Automatic generation of tests for timing constraints from requirements
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
A Validation Fault Model for Timing-Induced Functional Errors
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Program Segmentation for Controlling Test Coverage
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Testing Strategies for Form-Based Visual Programs
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Program Execution-Based Module Cohesion Measurement
Proceedings of the 16th IEEE international conference on Automated software engineering
On data flow guided program testing
ACM SIGPLAN Notices
Constraint based structural testing criteria
Journal of Systems and Software
An Empirical Study of Test Case Filtering Techniques Based on Exercising Information Flows
IEEE Transactions on Software Engineering
Efficiently monitoring data-flow test coverage
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
The probabilistic program dependence graph and its application to fault diagnosis
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Data Flow Analysis and Testing of Abstract State Machines
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Distributing test cases more evenly in adaptive random testing
Journal of Systems and Software
Extended firewall for regression testing: an experience report
Journal of Software Maintenance and Evolution: Research and Practice
The dependence condition graph: Precise conditions for dependence between program points
Computer Languages, Systems and Structures
Test-Suite Augmentation for Evolving Software
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Towards Testing and Analysis of Systems that Use Serialization
Electronic Notes in Theoretical Computer Science (ENTCS)
Information Processing Letters
Testing real-time systems using UPPAAL
Formal methods and testing
Practical elimination of external interaction vulnerabilities in web applications
Journal of Web Engineering
Automatic test data generation by multi-objective optimisation
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Using model checking for reducing the cost of test generation
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Dependence testing: extending data flow testing with control dependence
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Test generation based on control and data dependencies within system specifications in SDL
Computer Communications
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Regression test suite prioritization using system models
Software Testing, Verification & Reliability
Diversity oriented test data generation using metaheuristic search techniques
Information Sciences: an International Journal
Hi-index | 0.00 |
Some properties of a program data flow can be used to guide program testing. The presented approach aims to exercise use-definition chains that appear in the program. Two such data oriented testing strategies are proposed; the first involves checking liveness of every definition of a variable at the point(s) of its possible use; the second deals with liveness of vectors of variables treated as arguments to an instruction or program block. Reliability of these strategies is discussed with respect to a program containing an error.