Suchergebnisse - Testing and Debugging- testing tools. General Terms Algorithms
-
1
Recommender systems for manual testing: deciding how to assign tests in a test team
ISBN: 9781450310567, 1450310567Veröffentlicht: New York, NY, USA ACM 19.09.2012Veröffentlicht in Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement (19.09.2012)“… BACKGROUND: Software testing can be an arduous and expensive activity. A typical activity to maximise testing productivity is to allocate test cases according to the testers' profile …”
Volltext
Tagungsbericht -
2
An inheritance-based technique for building simulation proofs incrementally
ISBN: 1581132069, 9781581132069ISSN: 0270-5257Veröffentlicht: New York, NY, USA ACM 2000Veröffentlicht in Proceedings / International Conference on Software Engineering (2000)“… This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their specifications …”
Volltext
Tagungsbericht Journal Article -
3
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
ISBN: 9780769521633, 0769521630ISSN: 0270-5257Veröffentlicht: Washington, DC, USA IEEE Computer Society 23.05.2004Veröffentlicht in International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 (23.05.2004)“… cases.This setup process is usually performed manually, especiallywhen testing complex data structures …”
Volltext
Tagungsbericht -
4
A visualization-based approach for improving spreadsheet quality
ISBN: 9781605585659, 1605585653ISSN: 0270-5257Veröffentlicht: 03.04.2009Veröffentlicht in International Conference on Software Engineering 2009 (03.04.2009)“… In an attempt to provide a guide in understanding spreadsheets, this paper presents an approach to visualize a spreadsheet in terms of logical areas using the MCL (Markov Clustering) algorithm …”
Volltext
Journal Article -
5
Mutation analysis with coverage discounting
ISBN: 9781450321532, 1450321534Veröffentlicht: San Jose, CA, USA EDA Consortium 18.03.2013Veröffentlicht in Proceedings of the Conference on Design, Automation and Test in Europe (18.03.2013)“… Mutation testing is an established technique for evaluating validation thoroughness, but its adoption has been limited by the manual effort required to analyze the results …”
Volltext
Tagungsbericht -
6
Automated software debugging using hybrid static/dynamic analysis
ISBN: 9781339866475, 1339866471Veröffentlicht: ProQuest Dissertations & Theses 01.01.2016“… While software debugging remains largely manual, it is not the case with software testing and verification …”
Volltext
Dissertation

