Combining test case generation and runtime verificationOpen Website

Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington

2005 (modified: 24 Apr 2023)Theor. Comput. Sci. 2005Readers: Everyone
0 Replies