External Links

    Journal: Automated Software Engineering

    Volume 19, Issue 1

    1 -- 3Robert J. Hall. Editorial: ASE 2011 conference trip report
    5 -- 63Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini. Model checking agent programming languages
    65 -- 95Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran. Prioritizing test cases with string distances
    97 -- 136Yosi Ben-Asher, Tomer Gal, Gadi Haber, Marcel Zalmanovici. Refactoring techniques for aggressive object inlining in Java applications
    runs on