Search Results - "Testing and Debugging— Error handling and recovery General Terms Reliability"

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

    Assertion-based Repair of Complex Data Structures

    Authors: Bassem Elkarablieh Ivan Garcia Yuk Lai et al.

    Contributors: Bassem Elkarablieh Ivan Garcia Yuk Lai et al.

    Source: http://users.ece.utexas.edu/~elkarabl/files/p64-elkarablieh.pdf.

    Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, D.2.5 [Software Engineering, Testing and Debugging— Error handling and recovery General Terms Reliability, Verification Keywords Data structure repair, Assertion-driven development, Symbolic execution, Systematic search, Error recovery

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.1800

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.1800
    http://users.ece.utexas.edu/~elkarabl/files/p64-elkarablieh.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Juzi: A Tool for Repairing Complex Data Structures

    Authors: Bassem Elkarablieh Sarfraz Khurshid The Pennsylvania State University CiteSeerX Archives

    Contributors: Bassem Elkarablieh Sarfraz Khurshid The Pennsylvania State University CiteSeerX Archives

    Source: http://www.ece.utexas.edu/~khurshid/papers/2008/08icse-juzi.pdf.

    Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, D.2.5 [Software Engineering, Testing and Debugging— Error handling and recovery General Terms Reliability Keywords Data structure, Assertions, Systematic search, Symbolic execution, Error recovery

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.2390

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.2390
    http://www.ece.utexas.edu/~khurshid/papers/2008/08icse-juzi.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    Assessing Dependability with Software Fault Injection: A Survey.

    Authors: NATELLA, ROBERTO COTRONEO, DOMENICO MADEIRA, HENRIQUE S.

    Source: ACM Computing Surveys; Feb2016, Vol. 48 Issue 3, p44:1-44:55, 55p, 10 Diagrams, 14 Charts, 1 Graph

    Subject Terms: COMPUTER system failures, FAULT-tolerant computing, SOFTWARE verification, COMPUTER software costs, SURVEYS, ERROR, MARKOV processes, BENCHMARKING (Management)

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  4. 4

    Obtaining and Reasoning About Good Enough Software.

    Authors: Rinard, Martin

    Source: DAC: Annual ACM/IEEE Design Automation Conference; Jun2012, p930-935, 6p

    Subject Terms: COMPUTER software, ENERGY consumption, ROBUST control, EMPIRICAL research, ELECTRONIC systems, ELECTRONIC equipment

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  5. 5

    Juzi: A Tool for Repairing Complex Data Structures.

    Authors: Elkarablieh, Bassem Khurshid, Sarfraz

    Source: ICSE: International Conference on Software Engineering; 2008, p855-858, 4p, 3 Diagrams, 1 Graph

    Subject Terms: JAVA programming language, ELECTRONIC file management, PROGRAMMING languages, COMPUTER systems, COMPUTER software

    Save to List

Search Tools: