External Links

    Journal: Automated Software Engineering

    Volume 11, Issue 4

    335 -- 335Michael Goedicke, Martin S. Feather. Guest Editors Introduction
    337 -- 364Jacob Matthews, Robby Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen. Automatically Restructuring Programs for the Web
    365 -- 402Twan Basten, Dragan Bosnacki, Marc Geilen. Cluster-Based Partial-Order Reduction
    403 -- 434Sarfraz Khurshid, Darko Marinov. TestEra: Specification-Based Testing of Java Programs Using SAT
    runs on