Browse Research and Tech Reports - Computer Science by Author "Lauterburg, Steven"

  • d'Amorim, Marcelo; Lauterburg, Steven; Marinov, Darko (2007-05)
    State-space exploration is the essence of model checking and an increasingly popular approach for automating test generation. A key issue in exploration of object-oriented programs is handling the program state, in particular ...

    application/pdf

    application/pdfPDF (300kB)
  • Sobeih, Ahmed A.; Lauterburg, Steven (2007-09)
    In this report, we present an incremental state space exploration technique that aims to provide a speedup in exploring the state space created by the execution of the simulation model of a network protocol for the purpose ...

    application/pdf

    application/pdfPDF (272kB)