Integrating the testing, analysis and debugging of programs
Proc. of a symposium on Software validation: inspection-testing-verification-alternatives
Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Experimentation in software engineering
IEEE Transactions on Software Engineering
Functional program testing and analysis
Functional program testing and analysis
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Experience with Formal Methods in Critical Systems
IEEE Software
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Data flow analysis for verifying properties of concurrent programs
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
ACM SIGSOFT Software Engineering Notes
Design and code inspections to reduce errors in program development
IBM Systems Journal
A new approach to program testing
Proceedings of the international conference on Reliable software
Proceedings of the Conference on The Future of Software Engineering
Software testing in the computer science curriculum -- a holistic approach
ACSE '00 Proceedings of the Australasian conference on Computing education
Integrating testing into the curriculum — arsenic in small doses
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
A perspective on teaching software testing
Proceedings of the seventh annual consortium for computing in small colleges central plains conference on The journal of computing in small colleges
The impact of software process improvement on quality: in theory and practice
Information and Management
SoftTest: a framework for software testing of Java programs
eclipse '03 Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Demand-driven structural testing with dynamic instrumentation
Proceedings of the 27th international conference on Software engineering
A software testing course for computer science majors
ACM SIGCSE Bulletin
Assessing maintainability change over multiple software releases
Journal of Software Maintenance and Evolution: Research and Practice
Representing unit test data for large scale software development
Proceedings of the 4th ACM symposium on Software visualization
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Timing Nonfunctional Requirements
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
A comprehensive quality model for service-oriented systems
Software Quality Control
Towards pro-active adaptation with confidence: augmenting service monitoring with online testing
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
The testing method for interface customized component
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Service research challenges and solutions for the future internet
Service research challenges and solutions for the future internet
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Exploring quality attributes using architectural prototyping
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
Finding and ranking research directions for software testing
EuroSPI'05 Proceedings of the 12th European conference on Software Process Improvement
A more expressive softgoal conceptualization for quality requirements analysis
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Language design and analyzability: a retrospective
Software—Practice & Experience
An extensible framework for distributed testing of MPI implementations
PVM/MPI'07 Proceedings of the 14th European conference on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Using a real world project in a software testing course
Proceedings of the 45th ACM technical symposium on Computer science education
International Journal of Mobile Communications
Hi-index | 0.00 |