Testing Concurrent Java Programs using Randomized Scheduling

This publication has 15 references indexed in Scilit:

• Framework for testing multi‐threaded Java programs
  Concurrency and Computation: Practice and Experience, 2003
• Monitoring Java Programs with Java PathExplorer
  Electronic Notes in Theoretical Computer Science, 2001
• A parameterized type system for race-free Java programs
  ACM SIGPLAN Notices, 2001
• Type-based race detection for Java
  ACM SIGPLAN Notices, 2000
• Compositional pointer and escape analysis for Java programs
  ACM SIGPLAN Notices, 1999
• Escape analysis for Java
  ACM SIGPLAN Notices, 1999
• Model checking without a model
  ACM SIGSOFT Software Engineering Notes, 1998
• Eraser
  ACM Transactions on Computer Systems, 1997
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Animating algorithms with XTANGO
  ACM SIGACT News, 1992