The complexity of data flow criteria for test data selection
Information Processing Letters
Development and application of a white box approach to integration testing
Journal of Systems and Software - Special issue on the fifth Minnowbrook workshop on software performance evaluation
Program testing by specification mutation
Computer Languages
Communicating sequential processes
Communicating sequential processes
Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Systematic software development using VDM
Systematic software development using VDM
Test sets generation from algebraic specifications using logic programming
Journal of Systems and Software
Active design reviews: principles and practices
Journal of Systems and Software
Comparing the Effectiveness of Software Testing Strategies
IEEE Transactions on Software Engineering
Data flow analysis of recursive procedures
ACM SIGPLAN Notices
A structural test selection criterion
Information Processing Letters
Modeling mutation on a vector processor
ICSE '88 Proceedings of the 10th international conference on Software engineering
PMothra: scheduling mutants for execution on a hypercube
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Priorities in process algebras
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Test data selection criteria for (software) integration testing
ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
Analyzing Partition Testing Strategies
IEEE Transactions on Software Engineering
Algebraic system specification and development
Algebraic system specification and development
High Performance Software Testing on SIMD Machines
IEEE Transactions on Software Engineering
Handbook of theoretical computer science (vol. B)
Comparison of program testing strategies
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Eiffel: the language
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
A methodology for controlling the size of a test suite
ACM Transactions on Software Engineering and Methodology (TOSEM)
Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
Object-oriented integration testing
Communications of the ACM
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
On mutation and data flow
Performing data flow testing on classes
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Black-box testing: techniques for functional testing of software and systems
Black-box testing: techniques for functional testing of software and systems
On regression testing of object-oriented programs
Journal of Systems and Software
Effect of test set minimization on fault detection effectiveness
Proceedings of the 17th international conference on Software engineering
An experimental determination of sufficient mutant operators
ACM Transactions on Software Engineering and Methodology (TOSEM)
Assertion-oriented automated test data generation
Proceedings of the 18th international conference on Software engineering
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Smalltalk: best practice patterns
Smalltalk: best practice patterns
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
An experiment in automatic generation of test suites for protocols with verification technology
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
In black and white: an integrated approach to class-level testing of object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Cleanroom software engineering: technology and process
Cleanroom software engineering: technology and process
The causes and effects of infeasible paths in computer programs
ICSE '85 Proceedings of the 8th international conference on Software engineering
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Building Knowledge through Families of Experiments
IEEE Transactions on Software Engineering
Experimentation in software engineering: an introduction
Experimentation in software engineering: an introduction
Proceedings of the Conference on The Future of Software Engineering
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modeling the Effects of Combining Diverse Software Fault Detection Techniques
IEEE Transactions on Software Engineering
Symbolic execution and program testing
Communications of the ACM
A practical guide to testing object-oriented software
A practical guide to testing object-oriented software
TACCLE: a methodology for object-oriented software testing at the class and cluster levels
ACM Transactions on Software Engineering and Methodology (TOSEM)
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on Software Engineering
Automatic test data generation for path testing using GAs
Information Sciences: an International Journal
Communications of the ACM
Proceedings of the 2002 ACM symposium on Applied computing
Extended static checking for Java
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Software Testing: A Craftman's Approach
Software Testing: A Craftman's Approach
Writing Effective Use Cases
Communication and Concurrency
Art of Software Testing
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Testing Computer Software
Mutation testing for the new century
Mutation testing for the new century
Mutation of model checker specifications for test generation and evaluation
Mutation testing for the new century
Test Driven Development: By Example
Test Driven Development: By Example
Mutation Testing Applied to Estelle Specifications
Software Quality Control
Testing Extreme Programming
Logical Design of Digital Systems
Logical Design of Digital Systems
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
Techniques for Selective Revalidation
IEEE Software
Selecting and Using Data for Integration Testing
IEEE Software
A Formal Analysis of the Fault-Detecting Ability of Testing Methods
IEEE Transactions on Software Engineering
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
Formal Specifications and Test: Correctness and Oracle
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
A Formal Approach to Software Testing
AMAST '91 Proceedings of the Second International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
On Oracles for Interpreting Test Results against Algebraic Specifications
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Testing from Structured Algebraic Specifications
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Extended Institutions for Testing
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Mutation Testing Applied to Validate Specifications Based on Petri Nets
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Specification-Based Test Generation for Security-Critical Systems Using Mutations
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Mutation Versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness
Software Quality and Productivity: Theory, practice and training
Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Testing Ada Abstract Data Types Using Formal Specifications
Proceedings of the First International Eurospace - Ada-Europe Symposium on Ada in Europe
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Testing Against Formal Specifications: A Theoretical View
TAPSOFT '91 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD)
Testing Concurrent Systems: A Formal Approach
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Attempto Controlled English - Not Just Another Logic Specification Language
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Test selection for object-oriented software based on formal specifications
PROCOMET '98 Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Automating Test Case Generation from Z Specifications with Isabelle
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
From Testing Theory to Test Driver Implementation
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Automated Boundary Testing from Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Unit Testing for C88 ASL Architectural Specifications
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Software Architecture in Practice
Software Architecture in Practice
Essentials of Constraint Programming
Essentials of Constraint Programming
Essentials of Constraint Programming
Essentials of Constraint Programming
Test Sequences Generation from LUSTRE Descriptions: GATEL
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Modelling and verifying key-exchange protocols using CSP and FDR
CSFW '95 Proceedings of the 8th IEEE workshop on Computer Security Foundations
A new approach to program testing
Proceedings of the international conference on Reliable software
What We Have Learned About Fighting Defects
METRICS '02 Proceedings of the 8th International Symposium on Software Metrics
WPC '97 Proceedings of the 5th International Workshop on Program Comprehension (WPC '97)
Test Case Prioritization: An Empirical Study
ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
Quantifying the reliability of software: statistical testing based on a usage model
ISESS '95 Proceedings of the 2nd IEEE Software Engineering Standards Symposium
A Fault Model for Subtype Inheritance and Polymorphism
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
Inter-Class Mutation Operators for Java
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Testing Processes from Formal Specifications with Inputs, Outputs and Data Types
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Fault Contribution Trees for Product Families
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Syntactic Fault Patterns in OO Programs
ICECCS '02 Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Test Driven development: A Practical Guide
Test Driven development: A Practical Guide
Mutation analysis of program test data
Mutation analysis of program test data
A Note on Test Oracles and Semantics of Algebraic Specifications
QSIC '03 Proceedings of the Third International Conference on Quality Software
Challenging Formal Specifications by Mutation: a CSP security example
APSEC '03 Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference
JUnit in Action
Knowledge-Sharing Issues in Experimental Software Engineering
Empirical Software Engineering
A Practitioner's Guide to Software Test Design
A Practitioner's Guide to Software Test Design
Office 2003 Xml: Integrating Office With the Rest of the World
Office 2003 Xml: Integrating Office With the Rest of the World
Test-Driven Development in Microsoft .Net
Test-Driven Development in Microsoft .Net
Evidence-Based Software Engineering
Proceedings of the 26th International Conference on Software Engineering
The AGEDIS tools for model based testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting
IEEE Transactions on Computers
Towards building a solid empirical body of knowledge in testing techniques
ACM SIGSOFT Software Engineering Notes
Evidence-Based Software Engineering for Practitioners
IEEE Software
Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
DART: directed automated random testing
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Extreme Programming Explained: Embrace Change (2nd Edition)
Extreme Programming Explained: Embrace Change (2nd Edition)
Controlling test case explosion in test generation from B formal models: Research Articles
Software Testing, Verification & Reliability
MuJava: an automated class mutation system: Research Articles
Software Testing, Verification & Reliability
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
CUTE: a concolic unit testing engine for C
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Automatic test factoring for java
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Automated Software Engineering
Test Case Generation by OCL Mutation and Constraint Solving
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Perspective-Based Reading: A Replicated Experiment Focused on Individual Reviewer Effectiveness
Empirical Software Engineering
Automated, contract-based user testing of commercial-off-the-shelf components
Proceedings of the 28th international conference on Software engineering
A survey of coverage based testing tools
Proceedings of the 2006 international workshop on Automation of software test
A strategy to perform coverage testing of mobile applications
Proceedings of the 2006 international workshop on Automation of software test
Avoiding coincidental correctness in boundary value analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Predicting Return-on-Investment for Product Line Generations
SPLC '06 Proceedings of the 10th International on Software Product Line Conference
EXE: automatically generating inputs of death
Proceedings of the 13th ACM conference on Computer and communications security
Compositional dynamic test generation
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Journal of Systems and Software
Control and data flow structural testing criteria for aspect-oriented programs
Journal of Systems and Software
Feedback-Directed Random Test Generation
ICSE '07 Proceedings of the 29th international conference on Software Engineering
DECIMAL and PLFaultCAT: From Product-Line Requirements to Product-Line Member Software Fault Trees
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Using component metadata to regression test component-based software: Research Articles
Software Testing, Verification & Reliability
Test-Driven GUI Development with TestNG and Abbot
IEEE Software
Towards Property Oriented Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Priority and abstraction in process algebra
Information and Computation
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
Theory-infected: or how i learned to stop worrying and love universal quantification
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
SPLC '07 Proceedings of the 11th International Software Product Line Conference
A Production System for Software Product Lines
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Software Product Lines Beyond Software Development
SPLC '07 Proceedings of the 11th International Software Product Line Conference
IEEE Transactions on Software Engineering
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Experience with Path Analysis and Testing of Programs
IEEE Transactions on Software Engineering
Testing Programs with the Aid of a Compiler
IEEE Transactions on Software Engineering
The Daikon system for dynamic detection of likely invariants
Science of Computer Programming
LTS-BT: a tool to generate and select functional test cases for embedded systems
Proceedings of the 2008 ACM symposium on Applied computing
DySy: dynamic symbolic execution for invariant inference
Proceedings of the 30th international conference on Software engineering
Mutation Testing for Aspect-Oriented Programs
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
A Framework for Software Engineering Experimental Replications
ICECCS '08 Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems
Guided Test Generation from CSP Models
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Calculating ROI for Software Product Lines
IEEE Software
Automating Software Testing Using Program Analysis
IEEE Software
Formal Aspects of Computing
Path Feasibility Analysis for String-Manipulating Programs
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Dynamic Symbolic Execution for Testing Distributed Objects
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Automating test case definition using a domain specific language
Proceedings of the 46th Annual Southeast Regional Conference on XX
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
Test Selection Strategies for Lustre Descriptions in GATeL
Electronic Notes in Theoretical Computer Science (ENTCS)
JPF-SE: a symbolic execution extension to Java PathFinder
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
RWset: attacking path explosion in constraint-based test generation
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Demand-driven compositional symbolic execution
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Pex: white box test generation for .NET
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Parameterized unit testing with Pex
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Testing data types implementations from algebraic specifications
Formal methods and testing
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Finding and reproducing Heisenbugs in concurrent programs
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Search based constrained test case selection using execution effort
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |