Výsledky vyhledávání - "Automatic Programming—program modifi- cation General Terms Reliability"

  • Zobrazuji výsledky 1 - 2 z 2
Upřesnit hledání
  1. 1

    Automated fixing of programs with contracts

    Autoři: Yi Wei Yu Pei Carlo A. Furia a další

    Přispěvatelé: Yi Wei Yu Pei Carlo A. Furia a další

    Zdroj: http://bugcounting.net/pubs/issta10.pdf.

    Témata: Intelligence, Automatic Programming—program modifi- cation General Terms Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.8551; http://bugcounting.net/pubs/issta10.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.8551
    http://bugcounting.net/pubs/issta10.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    Automated fixing of programs with contracts

    Autoři: Yi Wei Yu Pei Carlo A. Furia a další

    Přispěvatelé: Yi Wei Yu Pei Carlo A. Furia a další

    Zdroj: http://se.inf.ethz.ch/people/ypei/download/model_based_fixing.pdf.

    Témata: Intelligence, Automatic Programming—program modifi- cation General Terms Reliability, Verification Keywords Automated debugging, automatic fixing, program synthesis, dynamic

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.1639; http://se.inf.ethz.ch/people/ypei/download/model_based_fixing.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.1639
    http://se.inf.ethz.ch/people/ypei/download/model_based_fixing.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: