Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
PDSS: A programmer's decision support system
Data & Knowledge Engineering
Theoretical comparison of testing methods
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Mockingbird: a logical methodology for testing
Journal of Logic Programming - Logic programming applications
Journal of Systems and Software
Data flow coverage and the C language
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Array representation in symbolic execution
Computer Languages
Proceedings of the second conference on Software development tools, techniques, and alternatives
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
Symbolic execution and program testing
Communications of the ACM
A unified approach to global program optimization
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Towards a structural load testing tool
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Automatic test data generation using constraint solving techniques
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology
IEEE Transactions on Software Engineering
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Information Processing Letters
Testing criteria for object oriented visual dataflow languages
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Information Processing Letters
Contextual integration testing of classes
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Hi-index | 0.00 |