SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
Improving test suites via operational abstraction
Proceedings of the 25th International Conference on Software Engineering
Applying SOFL to Develop a University Information System
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Detecting associative shift faults in predicate testing
Journal of Systems and Software
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Proceedings of the 26th International Conference on Software Engineering
Heuristic Search with Reachability Tests for Automated Generation of Test Programs
Proceedings of the 19th IEEE international conference on Automated software engineering
Avoiding coincidental correctness in boundary value analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Simulation-based test adequacy criteria for distributed systems
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Test minimization for human-computer interaction
Applied Intelligence
An automated approach to specification animation for validation
Journal of Systems and Software
A relation-based method combining functional and structural testing for test case generation
Journal of Systems and Software
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Automatic generation of test specifications for coverage of system state transitions
Information and Software Technology
Integration of formal specification, review, and testing for software component quality assurance
Proceedings of the 2009 ACM symposium on Applied Computing
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
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
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
An approach for class testing from class contracts
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
An approach to integration testing based on data flow specifications
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Towards a framework for constraint-based test case generation
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
| Hi-index | 0.00 |