Browse Research and Tech Reports - Computer Science by Author "Marinov, Darko"

  • Dig, Danny; Comertoglu, Can; Marinov, Darko; Johnson, Ralph (2005-12)
    One of the costs of reusing software components is migrating applications to use the new version of the components. Migrating an application can be error-prone, tedious, and disruptive of the development process. Our ...

    application/pdf

    application/pdfPDF (329Kb)
  • Daniel, Brett; Dig, Danny; Garcia, Kely; Marinov, Darko (2007-03)
    Refactorings are behavior-preserving program transformations that improve the design of a program. Refactoring engines are tools that automate the application of refactorings: first the user chooses a refactoring to apply, ...

    application/pdf

    application/pdfPDF (151Kb)
  • Sen, Koushik; Marinov, Darko; Agha, Gul A. (2005-06)
    In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry function may contain pointer arguments, in ...

    application/pdf

    application/pdfPDF (232Kb)
  • 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)
  • d'Amorim, Marcelo; Sobeih, Ahmed A.; Marinov, Darko (2006-06)
    Java PathFinder (JPF) is an explicit-state model checker for Java programs. It explores all executions that a given program can have due to different thread interleavings and nondeterministic choices. JPF implements a ...

    application/pdf

    application/pdfPDF (176Kb)
  • Daniel, Brett; Jagannath, Vilas; Dig, Danny; Marinov, Darko (IEEE/ACM, 2009-08-23)
    Developers often change software in ways that cause tests to fail. When this occurs, developers must determine whether failures are caused by errors in the code under test or in the test code itself. In the latter case, ...

    application/pdf

    application/pdfPDF (385Kb)
  • Gligoric, Milos; Majumdar, Rupak; Sharma, Rohan; Eloussi, Lamyaa; Marinov, Darko (2014)

    application/pdf

    application/pdfPDF (346Kb)
  • Sobeih, Ahmed A.; d'Amorim, Marcelo; Viswanathan, Mahesh; Marinov, Darko; Hou, Jennifer C. (2007-08)
    Verification and Validation (V&V) is a critically important phase in the development life cycle of a simulation model. In the context of network simulation, traditional network simulators perform well in using a simulation ...

    application/pdf

    application/pdfPDF (298Kb)