Formal Approaches to Software Testing and Runtime Verification - Havelund, Klaus; Kanade, Takeo; NÃºÃ±ez, Manuel; RoÅŸu, Grigore; Wolff, Burkhart (Springer Berlin Heidelberg, 2006)
Keywords: Information Technology -- Software Engineering