A framework for state-space exploration of java-based actor programs

By Steven Lauterburg, Mirco Dotta, Darko Marinov, and Gul A. Agha. In ASE, 468–479. IEEE Computer Society, 2009.

Full Text:: Download PDF
Publisher Link:: http://doi.ieeecomputersociety.org/10.1109/ASE.2009.88

BibTeX

@inproceedings{conf/kbse/LauterburgDMA09,
    author = "Lauterburg, Steven and Dotta, Mirco and Marinov, Darko
              and Agha, Gul A.",
    title = "A Framework for State-Space Exploration of Java-Based
             Actor Programs",
    booktitle = "ASE",
    crossref = "conf/kbse/2009",
    ee = "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.88",
    keywords = "software engineering",
    pages = "468-479",
    year = "2009",
}

@proceedings{conf/kbse/2009,
    title = "ASE 2009, 24th IEEE/ACM International Conference on
             Automated Software Engineering, Auckland, New Zealand, November
             16-20, 2009",
    isbn = "978-0-7695-3891-4",
    publisher = "IEEE Computer Society",
    year = "2009",
}