External Links

    Journal: Automated Software Engineering

    Volume 19, Issue 4

    379 -- 380Robert J. Hall. Editorial: selected topics in ASE
    381 -- 421Nicolas Mangano, André van der Hoek. The design and evaluation of a tool to support software designers at the whiteboard
    423 -- 458David Lo, Shahar Maoz. Scenario-based and value-based specification mining: better together
    459 -- 490Adam Duley, Chris Spandikow, Miryung Kim. Vdiff: a program differencing algorithm for Verilog hardware description language
    491 -- 530Kyunghee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders. JRF-E: using model checking to give advice on eliminating memory model-related bugs
    531 -- 559Pieter Hooimeijer, Westley Weimer. StrSolve: solving string constraints lazily
    runs on