Suchergebnisse - Testing and Debugging- testing tools. General Terms Algorithms

  • Treffer 1 - 6 von 6
Treffer weiter einschränken
  1. 1

    Recommender systems for manual testing: deciding how to assign tests in a test team von Miranda, Breno, Aranha, Eduardo Henrique da Silva, Iyoda, Juliano Manabu

    ISBN: 9781450310567, 1450310567
    Veröffentlicht: New York, NY, USA ACM 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. 2

    An inheritance-based technique for building simulation proofs incrementally von Keidar, Idit, Khazan, Roger, Lynch, Nancy, Shvartsman, Alex

    ISBN: 1581132069, 9781581132069
    ISSN: 0270-5257
    Veröffentlicht: New York, NY, USA ACM 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. 3

    Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases von Leow, Wee Kheng, Khoo, Siau Cheng, Sun, Yi

    ISBN: 9780769521633, 0769521630
    ISSN: 0270-5257
    Veröffentlicht: Washington, DC, USA IEEE Computer Society 23.05.2004
    “… cases.This setup process is usually performed manually, especiallywhen testing complex data structures …”
    Volltext
    Tagungsbericht
  4. 4

    A visualization-based approach for improving spreadsheet quality von Ayalew, Yirsaw

    ISBN: 9781605585659, 1605585653
    ISSN: 0270-5257
    Veröffentlicht: 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. 5

    Mutation analysis with coverage discounting von Lisherness, Peter, Lesperance, Nicole, Cheng, Kwang-Ting (Tim)

    ISBN: 9781450321532, 1450321534
    Veröffentlicht: San Jose, CA, USA EDA Consortium 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. 6

    Automated software debugging using hybrid static/dynamic analysis von Elsaka, Ethar

    ISBN: 9781339866475, 1339866471
    Verö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