Generating Tests from Counterexamples
Proceedings of the 26th International Conference on Software Engineering
Compatibility and Regression Testing of COTS-Component-Based Software
ICSE '07 Proceedings of the 29th international conference on Software Engineering
An approach to detecting failures automatically
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Analysis of fault models for student use
ACM SIGCSE Bulletin
Improving Trust in Composite eServices Via Run-Time Participants Testing
EGOV '08 Proceedings of the 7th international conference on Electronic Government
A data flow-based structural testing technique for FBD programs
Information and Software Technology
In-field healing of integration problems with COTS components
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Towards certifying the testing process of Open-Source Software: New challenges or old methodologies?
FLOSS '09 Proceedings of the 2009 ICSE Workshop on Emerging Trends in Free/Libre/Open Source Software Research and Development
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A probability-based approach for measuring external attributes of software artifacts
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
Improving functional testing through aspects: a case study
Proceedings of the 10th international conference on Early aspects: current challenges and future directions
Contextual integration testing of classes
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Structural coverage of feasible code
Proceedings of the 5th Workshop on Automation of Software Test
Safety testing of computerized provider order entry systems
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
Power fingerprinting in SDR & CR integrity assessment
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
Generating integration test cases automatically
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Metamorphic testing of a Monte Carlo modeling program
Proceedings of the 6th International Workshop on Automation of Software Test
Better testing through oracle selection (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Enhancing structural software coverage by incrementally computing branch executability
Software Quality Control
Graded CTL model checking for test generation
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
An evolutionary approach for program model checking
MEDI'11 Proceedings of the First international conference on Model and data engineering
Automated functional testing of online search services
Software Testing, Verification & Reliability
Using spring Roo for the test-driven development of Web applications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Combining model-based and combinatorial testing for effective test case generation
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Test strategies in distributed software development environments
Computers in Industry
A grey-box approach for automated GUI-model generation of mobile applications
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Mining behavior models from enterprise web applications
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
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
Semi-automated Tool Recommender for Software Development Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Providing students and professionals with strategies for reliable, cost-effective software development, this guide covers a full spectrum of topics from basic principles and underlying theory to organizational and process issues in real-world application.