Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
A review of software inspections
A review of software inspections
Automatic test data generation using constraint solving techniques
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Using model checking to generate tests from requirements specifications
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
Specification of the Javacard API in JML
Proceedings of the fourth working conference on smart card research and advanced applications on Smart card research and advanced applications
Automatically validating temporal safety properties of interfaces
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Extended static checking for Java
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Software Inspection
Test Generation for Compilers and Other Formal Text Processors
Programming and Computing Software
The Temporal Rover and the ATG Rover
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Counterexample-Guided Abstraction Refinement
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
The UniTesK Approach to Designing Test Suites
Programming and Computing Software
Eclipse 2 for Java Developers
Modular Verification of Software Components in C
IEEE Transactions on Software Engineering
Generating Tests from Counterexamples
Proceedings of the 26th International Conference on Software Engineering
Generating Efficient Test Sets with a Model Checker
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Check 'n' crash: combining static checking and testing
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
The Build Master: Microsoft's Software Configuration Management Best Practices
The Build Master: Microsoft's Software Configuration Management Best Practices
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
Combining test case generation and runtime verification
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Higher-Order and Symbolic Computation
Testing, abstraction, theorem proving: better together!
Proceedings of the 2006 international symposium on Software testing and analysis
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
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Thorough static analysis of device drivers
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Saturn: A scalable framework for error detection using Boolean satisfiability
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special issue on POPL 2005
Feedback-Directed Random Test Generation
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Automating component-based system assembly
Proceedings of the 2007 international symposium on Software testing and analysis
Object-oriented description of graph data structures
Programming and Computing Software
Next Generation Java Testing: TestNG and Advanced Concepts
Next Generation Java Testing: TestNG and Advanced Concepts
Model-Based Software Testing and Analysis with C#
Model-Based Software Testing and Analysis with C#
Calysto: scalable and precise extended static checking
Proceedings of the 30th international conference on Software engineering
Model-Based Quality Assurance of Windows Protocol Documentation
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
An approach to creating development environments for a wide class of programming languages
Programming and Computing Software
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Formal methods in industrial software standards enforcement
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Software verification with BLAST
SPIN'03 Proceedings of the 10th international conference on Model checking software
Combining static and dynamic reasoning for bug detection
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Pex: white box test generation for .NET
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Model-based testing of object-oriented reactive systems with spec explorer
Formal methods and testing
Boogie: a modular reusable verifier for object-oriented programs
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
ESC/Java2: uniting ESC/Java and JML
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
CUTE and jCUTE: concolic unit testing and explicit path model-checking tools
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Symstra: a framework for generating object-oriented unit tests using symbolic execution
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Practical approach to specification and conformance testing of distributed network applications
ISAS'05 Proceedings of the Second international conference on Service Availability
Experimental assessment of Astrée on safety-critical avionics software
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Component architecture of model-based testing environment
Programming and Computing Software
| Hi-index | 0.00 |
In the paper, an approach to constructing an extensible framework for the verification of program systems is suggested. In the author's opinion, it will facilitate application of modern rigorous verification methods to practically significant programs, the complexity of which permanently grows. This framework can also become a test harness for testing and adjustment of new techniques of formal verification and static analysis on various industrial software packages.