Catalogo Articoli (Spogli Riviste)

HELP
ATTENZIONE: attualmente gli articoli Current Contents (fonte ISI) a partire dall'anno 2002 sono consultabili sulla Risorsa On-Line

Le informazioni sugli articoli di fonte ISI sono coperte da copyright

La ricerca find articoli where soggetti phrase all words 'TEST CASE GENERATION' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 14 riferimenti
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Memon, AM; Pollack, ME; Soffa, ML
      Hierarchical GUI test case generation using automated planning

      IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
    2. Michael, CC; McGraw, G; Schatz, MA
      Generating software test data by evolution

      IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
    3. Wimmel, G; Lotzbeyer, H; Pretschner, A; Slotosch, O
      Specification based test sequence generation with propositional logic

      SOFTWARE TESTING VERIFICATION & RELIABILITY
    4. Fecko, MA; Uyar, MU; Amer, PD; Sethi, AS; Dzik, T; Menell, R; McMahon, M
      A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220

      COMPUTER COMMUNICATIONS
    5. von Mayrhauser, A; France, R; Scheetz, M; Dahlman, E
      Generating test-cases from an object-oriented model with an artificial-intelligence planning system

      IEEE TRANSACTIONS ON RELIABILITY
    6. Uyar, MU; Fecko, MA; Sethi, AS; Amer, PD
      Testing protocols modeled as FSMs with timing parameters

      COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING
    7. Boujarwah, AS; Saleh, K; Al-Dallal, J
      Testing syntax and semantic coverage of Java language compilers

      INFORMATION AND SOFTWARE TECHNOLOGY
    8. Weyuker, EJ
      Evaluation techniques for improving the quality of very large software systems in a cost-effective way

      JOURNAL OF SYSTEMS AND SOFTWARE
    9. BOUJARWAH AS; SALEH K
      COMPILER TEST-CASE GENERATION METHODS - A SURVEY AND ASSESSMENT

      Information and software technology
    10. BICARREGUI J; DICK J; MATTHEWS B; WOODS E
      MAKING THE MOST OF FORMAL SPECIFICATION THROUGH ANIMATION, TESTING AND PROOF

      Science of computer programming
    11. TRETMANS J
      CONFORMANCE TESTING WITH LABELED TRANSITION-SYSTEMS - IMPLEMENTATION RELATIONS AND TEST-GENERATION

      Computer networks and ISDN systems
    12. AVRITZER A; WEYUKER EJ
      THE AUTOMATIC-GENERATION OF LOAD TEST SUITES AND THE ASSESSMENT OF THE RESULTING SOFTWARE

      IEEE transactions on software engineering
    13. WEYUKER E; GORADIA T; SINGH A
      AUTOMATICALLY GENERATING TEST DATA FROM A BOOLEAN SPECIFICATION

      IEEE transactions on software engineering
    14. WHITTAKER JA; THOMASON MG
      A MARKOV-CHAIN MODEL FOR STATISTICAL SOFTWARE TESTING

      IEEE transactions on software engineering


ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 21/10/20 alle ore 07:14:26