Test template framework: a specification-based testing case study
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Generating a test oracle from program documentation: work in progress
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification-based testing of synchronous software
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
In black and white: an integrated approach to class-level testing of object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Lutess: a specification-driven testing environment for synchronous software
Proceedings of the 21st international conference on Software engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A framework for testing database applications
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
TACCLE: a methodology for object-oriented software testing at the class and cluster levels
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing monadic code with QuickCheck
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Software requirements validation via task analysis
Journal of Systems and Software
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
Exploring the Software Development Trilogy
IEEE Software
Testing monadic code with QuickCheck
ACM SIGPLAN Notices
Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars
ECAL '01 Proceedings of the 6th European Conference on Advances in Artificial Life
Extended Institutions for Testing
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Developing Quality Software Systems Using the SOFL Formal Engineering Method
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Testing from Formal Specifications, a Generic Approach
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
A Modular Approach to the Specification and Validation of an Electrical Flight Control System
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Verifying Consistency and Validity of Formal Specifications by Testing
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal Methods for Conformance Testing: Theory Can Be Practical
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
An Approach to Symbolic Test Generation
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Improving test suites via operational abstraction
Proceedings of the 25th International Conference on Software Engineering
CASTING: A Formally Based Software Test Generation Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A Formal Approach to Testing Lustre Specifications
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Requirements interaction management
ACM Computing Surveys (CSUR)
Strategies for Automated Specification-Based Testing of Synchronous Software
Proceedings of the 16th IEEE international conference on Automated software engineering
Proceedings of the 16th IEEE international conference on Automated software engineering
Advantages and limits of formal approaches for ultra-high dependability
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests
Proceedings of the 19th IEEE international conference on Automated software engineering
Parameterized unit tests with unit meister
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
Designing and comparing automated test oracles for GUI-based software applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Automated Software Engineering
A relation-based method combining functional and structural testing for test case generation
Journal of Systems and Software
Automated Test Generation and Verified Software
Verified Software: Theories, Tools, Experiments
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Model Driven Testing Based on Test History
Transactions on Petri Nets and Other Models of Concurrency I
Integration of formal specification, review, and testing for software component quality assurance
Proceedings of the 2009 ACM symposium on Applied Computing
Verdict functions in testing with a fault domain or test hypotheses
ACM Transactions on Software Engineering and Methodology (TOSEM)
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Integration Testing from Structured First-Order Specifications via Deduction Modulo
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Java Test Driver Generation from Object-Oriented Interaction Traces
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing from Structured Algebraic Specifications: The Veritas Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Test Selection Strategies for Lustre Descriptions in GATeL
Electronic Notes in Theoretical Computer Science (ENTCS)
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
GAST: generic automated software testing
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Specification-based testing for COCASL'S modal specifications
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Test selection criteria for quantifier-free first-order specifications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Integrating specification-based review and testing for detecting errors in programs
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Functional testing in the focal environment
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Model based testing with labelled transition systems
Formal methods and testing
Testing data types implementations from algebraic specifications
Formal methods and testing
Generating natural language descriptions of Z test cases
INLG '10 Proceedings of the 6th International Natural Language Generation Conference
On the use of temporal formal logic to model gene regulatory networks
CIBB'09 Proceedings of the 6th international conference on Computational intelligence methods for bioinformatics and biostatistics
Proof-Guided Test Selection from First-Order Specifications with Equality
Journal of Automated Reasoning
A note on traces refinement and the conf relation in the unifying theories of programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Testing techniques in software engineering
Testing techniques in software engineering
Model-Based Testing 2010: Short Abstracts
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification coverage for testing in circus
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Techniques to reduce a set of test cases
ICCOM'06 Proceedings of the 10th WSEAS international conference on Communications
Programs, tests, and oracles: the foundations of testing revisited
Proceedings of the 33rd International Conference on Software Engineering
Checking models, proving programs, and testing systems
TAP'11 Proceedings of the 5th international conference on Tests and proofs
A language for test case refinement in the test template framework
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Controllable combinatorial coverage in grammar-based testing
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Using CHRs to generate functional test cases for the java card virtual machine
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Executable interface specifications for testing asynchronous creol components
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Formal methods and testing: hypotheses, and correctness approximations
FM'05 Proceedings of the 2005 international conference on Formal Methods
Testing with guarantees and the failure of regression testing in extreme programming
XP'05 Proceedings of the 6th international conference on Extreme Programming and Agile Processes in Software Engineering
A methodology and a framework for model-based testing
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Action refinement in conformance testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Formal test generation from UML models
Dependable Systems
Testing from algebraic specifications: test data set selection by unfolding axioms
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
From faults via test purposes to test cases: on the fault-based testing of concurrent systems
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Test generation for interworking systems
Computer Communications
Conformance testing to real-time communications systems
Computer Communications
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
An experience report on the verification of autonomic protocols in the cloud
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |