Suchergebnisse - "Software/Program Verification— programming by contract General Terms"

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

    A Specification-based Approach to Testing Software Product Lines

    Autoren: Engin Uzuncaova Daniel Garcia Sarfraz Khurshid et al.

    Weitere Verfasser: Engin Uzuncaova Daniel Garcia Sarfraz Khurshid et al.

    Quelle: http://www.cs.utexas.edu/ftp/pub/predator/FSE2007.pdf.

    Schlagwörter: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—testing tools, D.2.4 [Software Engineering, Software/Program Verification— programming by contract General Terms, Reliability, Verification, Design Keywords, Product-lines, specification-based testing, test data generation, GenVoca, AHEAD, Alloy

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.6338; http://www.cs.utexas.edu/ftp/pub/predator/FSE2007.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.6338
    http://www.cs.utexas.edu/ftp/pub/predator/FSE2007.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    A Specification-Based Approach to Testing Software Product Lines

    Autoren: Engin Uzuncaova Sarfraz Khurshid The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Engin Uzuncaova Sarfraz Khurshid The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www.ece.utexas.edu/~khurshid/papers/2007/07fse-kesit-poster.pdf.

    Schlagwörter: Categories and Subject Descriptors, D.2.5 [Software Engineering, Testing and Debugging—testing tools, D.2.4 [Software Engineering, Software/Program Verification— programming by contract General Terms, Reliability, Verification, Design Keywords, Product-lines, specification-based testing, test data generation, GenVoca, AHEAD, Alloy

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.148.8421
    http://www.ece.utexas.edu/~khurshid/papers/2007/07fse-kesit-poster.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Space-Efficient Manifest Contracts

    Autoren: Michael Greenberg The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Michael Greenberg The Pennsylvania State University CiteSeerX Archives

    Quelle: http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf.

    Schlagwörter: Categories and Subject Descriptors D.3.1 [Programming Languages, Formal Definitions and Theory, D.2.4 [Software Engineering, Software/Program Verification—Programming by contract General Terms Languages, Theory

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.358.1269; http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.358.1269
    http://www.cis.upenn.edu/~mgree/papers/popl2014sub_space.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: