You are here


Primary tabs

  1. G. Caldiera; C. Lokan; G. Antoniol; R. Fiutem; S. Curtis; G. La Commare; E. Mambella,
    Estimating Size and Effort for Object Oriented Systems,
    Proceedings of the Australian Conference of Software Metrics [ACOSM97],
    , pp. 147-
  2. F. Ciravegna; Alberto Lavelli; G. Satta,
    Efficient Full Parsing for Information Extraction,
    Proceedings of 'Incontro dei Gruppi di Lavoro dell'Associazione Italiana per l'Intelligenza Artificiale (AI IA): Apprendimento Automatico e Linguaggio Naturale',
  3. A. Giorgi; Fabio Pianesi,
    Present Tense, Perfectivity and the Anchoring Conditions,
    Proceedings of the IATL-97, Israel, 4-5 June 1997,
  4. Maurizio Omologo; Marco Matassoni; Piergiorgio Svaizer; Diego Giuliani,
    Experiments of Hands-Free Connected Digit Recognition Using a Microphone Array,
    IEEE Workshop on Automatic Speech Recognition and Understanding 1997,
    , pp. 490-
    , (IEEE Workshop on Automatic Speech Recognition and Understanding 1997,
    Santa Barbara, USA,
    14/12/1997 - 17/12/1997)
  5. S.R. Julian; F.V. Cartera; F.M. Groschea; R.K.W. Haselwimmera; S.J. Listera; N.D. Mathura; G.J. McMullana; C. Pfleiderera; S. Shanker Saxena; I.R. Walkera; N.J.W. Wilsona and G.G. Lonzarich,
    Non-Fermi-liquid behaviour in magnetic d- and f-electron systems,
    , pp. 265-
    , (International Conference on Magnetism,
  6. R. Brunelli; O. Mich,
    Procedimento per memorizzare e ritrovare immagini di persone ad esempio in archivi fotografici e per la costruzione di identikit e relativo sistema..
    Each characteristic (or feature) of the images to be stored is associated with a region the size of which corresponds to the average size of the feature in the images stored. The preferred application is in techniques for searching photographic archives and for the construction of identikit images.
  7. C. Potrich,
    Costruzione di tossine ibride attive specificamente contro le cellule cancerogene mediante coniugazione di citolisine con fattori di regolazione cellulare.,
    pubblicazione a carattere divulgativo,
  8. G. Caldiera; G. Antoniol; R. Fiutem; S. Curtis; G. La Commare; E. Mambella,
    Development Effort Measurement for Object-Oriented Software [DEMOS]: Final Contract Report,
  9. G. Mittempergher,
    Ambiente grafico per il supporto alla valutazione del software,
  10. S. Lapierre; E. Merlo; G. Savard; G. Antoniol; R. Fiutem; Paolo Tonella,
    Automatic Unit Test Data Genration Using Mixed-Integer Linear Programming and Execution Trees,
    This paper presents an approach to automatic unit test data generation for branch coverage using mixed-integer linear programming, execution trees, and symbolic execution. Although these techniques have been separately investigated in the past by several researchers, combining them represents an original approach which leads to practical and feasible automatic unit test data generation. Several strategies to improve practicality have been investigated. Methods used to attain such a goal include: reducing the number of test cases, which are needed to achieve the desired coverage, based on the concept of unconstrained arcs in a control flow graph; reducing the difficulties originated by infeasible paths by producing and analyzing minimum pathlength execution trees for such unconstrained arcs; reducing the difficulties originated by non-linear path conditions by considering alternative linear paths,