Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
The C++ programming language
IEEE Transactions on Software Engineering
Trace Specifications: Methodology and Models
IEEE Transactions on Software Engineering
Testing the Completeness of Specifications
IEEE Transactions on Software Engineering
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Adequate testing and object-oriented programming
Journal of Object-Oriented Programming
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Abstract data types and the development of data structures
Communications of the ACM
Some extensions to algebraic specifications
Proceedings of an ACM conference on Language design for reliable software
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Performing data flow testing on classes
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of 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)
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
TACCLE: a methodology for object-oriented software testing at the class and cluster levels
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification Based Testing: Towards Practice
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
On testing of classes in object-oriented programs
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Applying Conventional Testing Techniques for Class Testing
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Class development and testing in the small
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Automated Software Engineering
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
The axioms strike back: testing with concepts and axioms in C++
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Executable interface specifications for testing asynchronous creol components
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Checking formal specifications by testing
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Hi-index | 0.00 |