Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Concurrent runtime checking of annotated Ada programs
Proc. of the sixth conference on Foundations of software technology and theoretical computer science
The Turing programming language
Communications of the ACM
ICSE '89 Proceedings of the 11th international conference on Software engineering
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study
IEEE Transactions on Software Engineering
Software—Practice & Experience - Unix tools
An event-based model of software configuration management
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
Run-time consistency checking of algebraic specifications
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
Programming with Specifications: An Introduction to Anna, a Language for Specifying ADA Programs
New assertion concepts for self-metric software validation
Proceedings of the international conference on Reliable software
Some experience with automated aids to the design of large-scale reliable software
Proceedings of the international conference on Reliable software
Design of self-checking software
Proceedings of the international conference on Reliable software
The complete transformation methodology for sequential runtime checking of an ANNA subset
The complete transformation methodology for sequential runtime checking of an ANNA subset
Automatic runtime consistency checking and debugging of formally specified programs
Automatic runtime consistency checking and debugging of formally specified programs
PLEIADES: an object management system for software engineering environments
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Principles for writing reusable libraries
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Assertion-oriented automated test data generation
Proceedings of the 18th international conference on Software engineering
TestTube: a system for selective regression testing
ICSE '94 Proceedings of the 16th international conference on Software engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
Consistency management for complex applications
Proceedings of the 20th international conference on Software engineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
QDA - A Method for Systematic Informal Program Analysis
IEEE Transactions on Software Engineering
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
A design for evidence - based soft research
REBSE '05 Proceedings of the 2005 workshop on Realising evidence-based software engineering
A contextual interpretation of undefinedness for runtime assertion checking
Proceedings of the sixth international symposium on Automated analysis-driven debugging
HAIL: a language for easy and correct device access
Proceedings of the 5th ACM international conference on Embedded software
Logical Foundations of Program Assertions: What do Practitioners Want?
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Performance assertions for mobile devices
Proceedings of the 2006 international symposium on Software testing and analysis
Designing and comparing automated test oracles for GUI-based software applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Integrated Development Of A Dynamic Software-Fault Monitoring System
Journal of Integrated Design & Process Science
Dagger: a tool to generate program graphs
UNIX'94 Proceedings of the USENIX Applications Development Symposium Proceedings on USENIX Applications Development Symposium Proceedings
Performance Validation on Multicore Mobile Devices
Verified Software: Theories, Tools, Experiments
In-field healing of integration problems with COTS components
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Asserting and checking determinism for multithreaded programs
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
High-Performance Local Search for Task Scheduling with Human Resource Allocation
SLS '09 Proceedings of the Second International Workshop on Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics
Improving software testability with assertion insertion
ITC'94 Proceedings of the 1994 international conference on Test
Beyond assertions: advanced specification and verification with JML and ESC/Java2
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Jartege: a tool for random generation of unit tests for java classes
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
Augmenting automatically generated unit-test suites with regression oracle checking
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Exception handlers for healing component-based systems
ACM Transactions on Software Engineering and Methodology (TOSEM) - Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Hi-index | 0.00 |