• DocumentCode
    3062432
  • Title

    A Framework for Systematic Testing of Multi-threaded Applications

  • Author

    Florian, Mihai

  • Author_Institution
    Comput. Sci. Dept., California Inst. of Technol., Pasadena, CA, USA
  • fYear
    2011
  • fDate
    12-14 Dec. 2011
  • Firstpage
    278
  • Lastpage
    279
  • Abstract
    We present a framework that exhaustively explores the scheduling nondeterminism of multi-threaded applications and checks for concurrency errors. We use a flexible design that allows us to integrate multiple algorithms aimed at reducing the number of interleavings that have to be tested.
  • Keywords
    multi-threading; program testing; concurrency error checking; interleaving reduction; multithreaded applications; systematic testing; Concurrent computing; Instruction sets; Memory management; Message systems; System recovery; Systematics; Testing; state filters; state space exploration; state space reductions; systematic testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Dependable Computing (PRDC), 2011 IEEE 17th Pacific Rim International Symposium on
  • Conference_Location
    Pasadena, CA
  • Print_ISBN
    978-1-4577-2005-5
  • Electronic_ISBN
    978-0-7695-4590-5
  • Type

    conf

  • DOI
    10.1109/PRDC.2011.48
  • Filename
    6133092
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3062432