Analysis and Design in MSG.84: Formalizing Functional Specifications
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
Softwear Reliability
A partition analysis method to increase program reliability
ICSE '81 Proceedings of the 5th international conference on Software engineering
Theoretical comparison of testing methods
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Automatic generation of test scripts from formal test specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Software Reliability Allocation Based on Structure, Utility, Price, and Cost
IEEE Transactions on Software Engineering
Generalized algorithmic debugging and testing
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
A survey of software functional testing methods
ACM SIGSOFT Software Engineering Notes
An integrated general purpose automated test environment
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Generalized algorithmic debugging and testing
ACM Letters on Programming Languages and Systems (LOPLAS)
Structural specification-based testing with ADL
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
A safe, efficient regression test selection technique
ACM Transactions on Software Engineering and Methodology (TOSEM)
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Empirical Studies of a Safe Regression Test Selection Technique
IEEE Transactions on Software Engineering
An empirical study of regression test selection techniques
Proceedings of the 20th international conference on Software engineering
Model-based testing in practice
Proceedings of the 21st international conference on Software engineering
GIDTS: a graphical programming environment for Prolog
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Structural specification-based testing: automated support and experimental evaluation
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
An empirical study of regression test application frequency
Proceedings of the 22nd international conference on Software engineering
Prioritizing test cases for regression testing
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
A framework for testing database applications
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
The Exception Handling Effectiveness of POSIX Operating Systems
IEEE Transactions on Software Engineering
A comparative study of coarse- and fine-grained safe regression test-selection techniques
ACM Transactions on Software Engineering and Methodology (TOSEM)
An empirical study of regression test selection techniques
ACM Transactions on Software Engineering and Methodology (TOSEM)
Empirical Studies of a Prediction Model for Regression Test Selection
IEEE Transactions on Software Engineering
Prioritizing Test Cases For Regression Testing
IEEE Transactions on Software Engineering
Test Case Prioritization: A Family of Empirical Studies
IEEE Transactions on Software Engineering
Investigating the use of analysis contracts to support fault isolation in object oriented code
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the 24th International Conference on Software Engineering
The impact of test suite granularity on the cost-effectiveness of regression testing
Proceedings of the 24th International Conference on Software Engineering
A framework for table driven testing of Java classes
Software—Practice & Experience
Annals of Software Engineering
Test Case Generation as an AI Planning Problem
Automated Software Engineering
AI Planner Assisted Test Generation
Software Quality Control
What Is Software Testing? And Why Is It So Hard?
IEEE Software
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
Improving test suites via operational abstraction
Proceedings of the 25th International Conference on Software Engineering
Demonstration of AGENDA tool set for testing relational database applications
Proceedings of the 25th International Conference on Software Engineering
Test case generation for specification-based software testing
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Integrating Approximation Methods with the Generalized Proportional Sampling Strategy
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Using Component Metacontent to Support the Regression Testing of Component-Based Software
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Test Case Design Based on Z and the Classification-Tree Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Confidence-Based Reliability And Statistical Coverage Estimation
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Generating Test Cases from an OO Model with an AI Planning System
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Efficient Regression Testing of Multi-Panel Systems
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Planner Based Error Recovery Testing
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Investigating the use of analysis contracts to improve the testability of object-oriented code
Software—Practice & Experience
A Choice Relation Framework for Supporting Category-Partition Test Case Generation
IEEE Transactions on Software Engineering
Use case-based testing of product lines
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Generating test cases from class vectors
Journal of Systems and Software
Proceedings of the 2003 ACM symposium on Applied computing
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
Selecting a Cost-Effective Test Case Prioritization Technique
Software Quality Control
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Testing web database applications
ACM SIGSOFT Software Engineering Notes
Building an infrastructure to support experimentation with software testing techniques
ACM SIGSOFT Software Engineering Notes
On the Testing of Particular Input Conditions
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
On test suite composition and cost-effective regression testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
Empirical Software Engineering
Identification of Categories and Choices in Activity Diagrams
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Automated, contract-based user testing of commercial-off-the-shelf components
Proceedings of the 28th international conference on Software engineering
Automation of GUI testing using a model-driven approach
Proceedings of the 2006 international workshop on Automation of software test
Testing against a non-controllable stream X-machine using state counting
Theoretical Computer Science
An approach to generate test cases from use cases
ICWE '06 Proceedings of the 6th international conference on Web engineering
A practical guide to SQL white-box testing
ACM SIGPLAN Notices
Coverage and adequacy in software product line testing
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Avoiding coincidental correctness in boundary value analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Simulation-based test adequacy criteria for distributed systems
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Testing across configurations: implications for combinatorial testing
ACM SIGSOFT Software Engineering Notes
Automatic test case generation from UML communication diagrams
Information and Software Technology
Complete Testing from a Stream X-Machine Specification
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Towards an automated test generation for the verification of model transformations
Proceedings of the 2007 ACM symposium on Applied computing
The Impact of UML Documentation on Software Maintenance: An Experimental Evaluation
IEEE Transactions on Software Engineering
On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques
IEEE Transactions on Software Engineering
Compatibility and Regression Testing of COTS-Component-Based Software
ICSE '07 Proceedings of the 29th international conference on Software Engineering
TAXI--A Tool for XML-Based Testing
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Information and Software Technology
Automatic Test Data Generation for XML Schema-based Partition Testing
AST '07 Proceedings of the Second International Workshop on Automation of Software Test
Contract driven development = test driven development - writing test cases
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Profiling and testing within domains to facilitate document exchangeability
Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting
Dynamic Detection of COTS Component Incompatibility
IEEE Software
Input parameter modeling for combination strategies
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Systematic approach for using the classification tree method for testing complex software-systems
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Detecting buffer overflow via automatic test input data generation
Computers and Operations Research
Test frame updating in CPM testing of Prolog programs
Software Quality Control
Proceedings of the 30th international conference on Software engineering
Automatic generation of software behavioral models
Proceedings of the 30th international conference on Software engineering
Applying model-based testing to healthcare products: preliminary experiences
Proceedings of the 30th international conference on Software engineering
Query-based test generation for database applications
Proceedings of the 1st international workshop on Testing database systems
Using sensitivity analysis to create simplified economic models for regression testing
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Configuration-aware regression testing: an empirical study of sampling and prioritization
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Testing data processing-oriented systems from stream X-machine models
Theoretical Computer Science
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Architecting Dependable Systems V
An empirical study of the effect of time constraints on the cost-benefits of regression testing
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
A Lightweight Approach for the Semantic Validation of Model Refinements
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Automated WSDL-Based Testing of Web Services
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Service-Oriented Architectures Testing: A Survey
Software Engineering
Towards certifying the testing process of Open-Source Software: New challenges or old methodologies?
FLOSS '09 Proceedings of the 2009 ICSE Workshop on Emerging Trends in Free/Libre/Open Source Software Research and Development
AVA: automated interpretation of dynamically detected anomalies
Proceedings of the eighteenth international symposium on Software testing and analysis
Finding min-repros in database software
Proceedings of the Second International Workshop on Testing Database Systems
Using machine learning to refine Category-Partition test specifications and test suites
Information and Software Technology
Proceedings of the 2008 Euro American Conference on Telematics and Information Systems
Adaptive Random Testing: The ART of test case diversity
Journal of Systems and Software
Slicing-based test case generation from UML activity diagrams
ACM SIGSOFT Software Engineering Notes
Automated Test Input Generation for Software That Consumes ORM Models
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Research Issues in the Automated Testing of Ajax Applications
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
An Introduction to Software Testing
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
A framework for testing DBMS features
The VLDB Journal — The International Journal on Very Large Data Bases
Using contracts and Boolean queries to improve the quality of automatic test generation
TAP'07 Proceedings of the 1st international conference on Tests and proofs
A novel test case generation method for prolog programs based on call patterns semantics
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
systematic generation of XML instances to test complex software applications
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
Testing from X-machine specifications
Formal methods and testing
SysML to UML model transformation for test generation purpose
ACM SIGSOFT Software Engineering Notes
Synthesis of test scenarios using UML activity diagrams
Software and Systems Modeling (SoSyM)
Incrementally discovering testable specifications from program executions
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Bringing white-box testing to Service Oriented Architectures through a Service Oriented Approach
Journal of Systems and Software
An overview on test generation from functional requirements
Journal of Systems and Software
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
New bounds for binary covering arrays using simulated annealing
Information Sciences: an International Journal
An architecture-centric approach for producing quality systems
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
Eclat: automatic generation and classification of test inputs
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
A grey-box approach to the functional testing of complex automatic train protection systems
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
TESTOR: deriving test sequences from model-based specifications
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
On the new application of call patterns to CPM testing of prolog programs
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Evaluating test selection strategies for end-user specified flow-based applications
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Extending the test template framework
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Towards model-based testing of electronic funds transfer systems
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
An experimental evaluation of weak-branch criterion for class testing
Journal of Systems and Software
Evolutionary algorithm for prioritized pairwise test data generation
Proceedings of the 14th annual conference on Genetic and evolutionary computation
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Teaching software engineering and software project management: an integrated and practical approach
Proceedings of the 34th International Conference on Software Engineering
An empirical evaluation of several test-a-few strategies for testing particular conditions
Software—Practice & Experience
Choices, choices: comparing between CHOC'LATE and the classification-tree methodology
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Complete Testing from a Stream X-Machine Specification
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Web-based automated black-box testing framework for component based robot software
Proceedings of the 2012 ACM Conference on Ubiquitous Computing
An automated analysis methodology to detect inconsistencies in web services with WSDL interfaces
Software Testing, Verification & Reliability
Model transformation testing: the state of the art
Proceedings of the First Workshop on the Analysis of Model Transformations
Automatic test case generation from functional requirements in NDT
ICWE'12 Proceedings of the 12th international conference on Current Trends in Web Engineering
Linking software testing results with a machine learning approach
Engineering Applications of Artificial Intelligence
SimRacer: an automated framework to support testing for process-level races
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
Test case selection for black-box regression testing of database applications
Information and Software Technology
System regression test planning with a fuzzy expert system
Information Sciences: an International Journal
An approach to testing commercial embedded systems
Journal of Systems and Software
| Hi-index | 48.22 |
A method for creating functional test suites has been developed in which a test engineer analyzes the system specification, writes a series of formal test specifications, and then uses a generator tool to produce test descriptions from which test scripts are written. The advantages of this method are that the tester can easily modify the test specification when necessary, and can control the complexity and number of the tests by annotating the tests specification with constraints.