Search Results - Testing and Debugging— Testing tools General Terms Algorithms

  • Showing 1 - 6 results of 6
Refine Results
  1. 1

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

    ISBN: 9781450310567, 1450310567
    Published: 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…”
    Get full text
    Conference Proceeding
  2. 2

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

    ISBN: 1581132069, 9781581132069
    ISSN: 0270-5257
    Published: 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…”
    Get full text
    Conference Proceeding Journal Article
  3. 3

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

    ISBN: 9780769521633, 0769521630
    ISSN: 0270-5257
    Published: Washington, DC, USA IEEE Computer Society 23.05.2004
    “… cases.This setup process is usually performed manually, especiallywhen testing complex data structures…”
    Get full text
    Conference Proceeding
  4. 4

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

    ISBN: 9781605585659, 1605585653
    ISSN: 0270-5257
    Published: 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…”
    Get full text
    Journal Article
  5. 5

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

    ISBN: 9781450321532, 1450321534
    Published: 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…”
    Get full text
    Conference Proceeding
  6. 6

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

    ISBN: 9781339866475, 1339866471
    Published: ProQuest Dissertations & Theses 01.01.2016
    “… While software debugging remains largely manual, it is not the case with software testing and verification…”
    Get full text
    Dissertation