Výsledky vyhľadávania - Testing and Debugging — Testing tools. General Terms Algorithms

  • Zobrazené výsledky 1 - 6 z 6
Upresniť hľadanie
  1. 1

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

    ISBN: 9781450310567, 1450310567
    Vydavateľské údaje: 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…”
    Získať plný text
    Konferenčný príspevok..
  2. 2

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

    ISBN: 1581132069, 9781581132069
    ISSN: 0270-5257
    Vydavateľské údaje: 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…”
    Získať plný text
    Konferenčný príspevok.. Journal Article
  3. 3

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

    ISBN: 9780769521633, 0769521630
    ISSN: 0270-5257
    Vydavateľské údaje: Washington, DC, USA IEEE Computer Society 23.05.2004
    “… cases.This setup process is usually performed manually, especiallywhen testing complex data structures…”
    Získať plný text
    Konferenčný príspevok..
  4. 4

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

    ISBN: 9781605585659, 1605585653
    ISSN: 0270-5257
    Vydavateľské údaje: 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…”
    Získať plný text
    Journal Article
  5. 5

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

    ISBN: 9781450321532, 1450321534
    Vydavateľské údaje: 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…”
    Získať plný text
    Konferenčný príspevok..
  6. 6

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

    ISBN: 9781339866475, 1339866471
    Vydavateľské údaje: ProQuest Dissertations & Theses 01.01.2016
    “… While software debugging remains largely manual, it is not the case with software testing and verification…”
    Získať plný text
    Dissertation