Author
Corina S. Pasareanu
Papers that credit Corina S. Pasareanu in their source bylines. Matching names may refer to different researchers.
1 results
Reins steers thread schedules toward concurrency bugs
Reins guides thread scheduling with agent-derived constraints and triggers more injected bugs than the strongest baseline in one test setup.