Orthogonal Latin squares: an application of experiment design to compiler testing
Communications of the ACM
Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Applying design of experiments to software testing: experience report
ICSE '97 Proceedings of the 19th international conference on Software engineering
The AETG System: An Approach to Testing Based on Combinatorial Design
IEEE Transactions on Software Engineering
Factor-covering designs for testing software
Technometrics
Model-based Testing of a Highly Programmable System
ISSRE '98 Proceedings of the The Ninth International Symposium on Software Reliability Engineering
A framework for testing database applications
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
A framework for table driven testing of Java classes
Software—Practice & Experience
An experience on verification of aspect properties
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Extended Model-Based Testing toward High Code Coverage Rate
ECSQ '02 Proceedings of the 7th International Conference on Software Quality
Constructing test suites for interaction testing
Proceedings of the 25th International Conference on Software Engineering
An Investigation of the Applicability of Design of Experiments to Software Testing
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
A case for test-code generation in model-driven systems
Proceedings of the 2nd international conference on Generative programming and component engineering
Software Fault Interactions and Implications for Software Testing
IEEE Transactions on Software Engineering
Covering arrays for efficient fault characterization in complex configuration spaces
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Proceedings of the 27th international conference on Software engineering
Test prioritization for pairwise interaction coverage
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Modeling requirements for combinatorial software testing
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Environment behavior models for scenario generation and testing automation
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Distributed performance testing using statistical modeling
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Covering Arrays for Efficient Fault Characterization in Complex Configuration Spaces
IEEE Transactions on Software Engineering
State-based incremental testing of aspect-oriented programs
Proceedings of the 5th international conference on Aspect-oriented software development
A measurement framework for evaluating model-based test generation tools
IBM Systems Journal - Model-driven software development
Testing across configurations: implications for combinatorial testing
ACM SIGSOFT Software Engineering Notes
IEEE Transactions on Software Engineering
Automated Generation of Test Cases Using Model-Driven Architecture
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
One-test-at-a-time heuristic search for interaction test suites
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Towards incremental adaptive covering arrays
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Component airbag: a novel approach to develop dependable component-based applications
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Test case generation from formal models through abstraction refinement and model checking
Proceedings of the 3rd international workshop on Advances in model-based testing
An experimental evaluation of approaches to feature testing in the mobile phone applications domain
Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting
Towards incremental adaptive covering arrays
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Component airbag: a novel approach to develop dependable component-based applications
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Automated gui testing guided by usage profiles
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Designing a combinatorial java unit testing tool
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
A relation-based method combining functional and structural testing for test case generation
Journal of Systems and Software
A survey on model-based testing approaches: a systematic review
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
Automatic test data generation using particle systems
Proceedings of the 2008 ACM symposium on Applied computing
Supporting the selection of model-based testing approaches for software projects
Proceedings of the 3rd international workshop on Automation of software test
Testing challenges for extending SQL server's query processor: a case study
Proceedings of the 1st international workshop on Testing database systems
A backtracking search tool for constructing combinatorial test suites
Journal of Systems and Software
Early fault detection with model-based testing
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Surveying model based testing approaches characterization attributes
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
Covering Arrays Avoiding Forbidden Edges
COCOA 2008 Proceedings of the 2nd international conference on Combinatorial Optimization and Applications
The Effectiveness of T-Way Test Data Generation
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Event order abstraction for parametric real-time system verification
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Orthogonal array application for optimal combination of software defect detection techniques choices
WSEAS Transactions on Computers
Model-Based Testing Using Scenarios and Event-B Refinements
Methods, Models and Tools for Fault Tolerance
Incremental covering array failure characterization in large configuration spaces
Proceedings of the eighteenth international symposium on Software testing and analysis
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Model-based testing approaches selection for software projects
Information and Software Technology
Applying ASP to UML Model Validation
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Towards Model-Based Automatic Testing of Attack Scenarios
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Covering arrays avoiding forbidden edges
Theoretical Computer Science
Enabling offshore software testing: a case study
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic testing from formal specifications
TAP'07 Proceedings of the 1st international conference on Tests and proofs
A logic-based approach to combinatorial testing with constraints
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Algorithms to locate errors using covering arrays
LATIN'08 Proceedings of the 8th Latin American conference on Theoretical informatics
Automatically generating predicates and solutions for configuration troubleshooting
USENIX'09 Proceedings of the 2009 conference on USENIX Annual technical conference
A survey of combinatorial testing
ACM Computing Surveys (CSUR)
A Formal Logic Approach to Constrained Combinatorial Testing
Journal of Automated Reasoning
Improving tests infrastructure through a model-based approach
ACM SIGSOFT Software Engineering Notes
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification based conformance testing for email protocols
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Advances in Software Engineering - Special issue on software test automation
Locating Errors Using ELAs, Covering Arrays, and Adaptive Testing Algorithms
SIAM Journal on Discrete Mathematics
Automated testing for intelligent agent systems
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
The reliability estimation, prediction and measuring of component-based software
Journal of Systems and Software
Techniques to reduce a set of test cases
ICCOM'06 Proceedings of the 10th WSEAS international conference on Communications
Seamless testing for models and code
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Analysis of model based regression testing approaches
ACELAE'11 Proceedings of the 10th WSEAS international conference on communications, electrical & computer engineering, and 9th WSEAS international conference on Applied electromagnetics, wireless and optical communications
The Minimal Failure-Causing Schema of Combinatorial Testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Feedback driven adaptive combinatorial testing
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Using binary decision diagrams for combinatorial test design
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Model based approach to assist test case creation, execution, and maintenance for test automation
Proceedings of the First International Workshop on End-to-End Test Script Engineering
Hardness results for covering arrays avoiding forbidden edges and error-locating arrays
Theoretical Computer Science
Automatic library migration for the generation of hardware-in-the-loop models
Science of Computer Programming
Finding the best CAFE is NP-hard
LATIN'10 Proceedings of the 9th Latin American conference on Theoretical Informatics
Synthesis of scenario based test cases from b models
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Scope playback: self-validation in the cloud
DBTest '12 Proceedings of the Fifth International Workshop on Testing Database Systems
Combining model-based and combinatorial testing for effective test case generation
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
iTree: efficiently discovering high-coverage configurations using interaction trees
Proceedings of the 34th International Conference on Software Engineering
Interactive refinement of combinatorial test plans
Proceedings of the 34th International Conference on Software Engineering
Applying formal methods to PCEP: an industrial case study from modeling to test generation
Software Testing, Verification & Reliability
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
Model-based testing of internet e-mail protocols
Programming and Computing Software
T-wise combinatorial interaction test suites construction based on coverage inheritance
Software Testing, Verification & Reliability
An object-oriented framework for improving software reuse on automated testing of mobile phones
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Automated generation of test oracles using a model-driven approach
Information and Software Technology
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer
International Journal of Embedded and Real-Time Communication Systems
Interaction-based test-suite minimization
Proceedings of the 2013 International Conference on Software Engineering
An Industrial Experience on using Models to Test Web Service-Oriented Applications
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Diversity oriented test data generation using metaheuristic search techniques
Information Sciences: an International Journal
Hi-index | 0.00 |