Information and software technology

• 

  Año 2009, Vol. 51, Número 10

  • Higher Order Mutation Testing

    Yue Jia, Mark Harman

    págs. 1379-1393

    

  • Change impact graphs: determining the impact of prior codechanges

    Daniel M. German, Ahmed E. Hassan, Gregorio Robles Martínez

    págs. 1394-1408

    

  • Decompilation of Java bytecode to Prolog by partial evaluation

    Miguel Gómez-Zamalloa Gil, Elvira Albert, Germán Puebla

    págs. 1409-1427

    

  • Fast and precise points-to analysis

    Jonas Lundberg, Tobias Gutzmann, Marcus Edvinsson, Welf Löwe

    págs. 1428-1439

    

  • May/must analysis and the DFAGen data-flow analysis generator

    Andrew Stone, Michelle Strout, Shweta Behere

    págs. 1440-1453

    

  • Recovering structured data types from a legacy data model with overlays

    Mariano Ceccato, Thomas Roy Dean, Paolo Tonella

    págs. 1454-1468

    

  • The life and death of statically detected vulnerabilities: an empirical study

    Massimiliano Di Penta, Luigi Cerulo, Lerina Aversano

    págs. 1469-1484