Sciweavers

Share
SPE
2011
8 years 6 months ago
Sharing experiments using open-source software
Adam Nelson, Tim Menzies, Gregory Gay
SPE
2011
8 years 6 months ago
Grammar-based test generation with YouGen
Daniel Hoffman, David Ly-Gagnon, Paul A. Strooper,...
SPE
2011
8 years 6 months ago
Decomposition tool for event-B
Abstract. Two methods have been identiļ¬ed for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...
Renato Silva, Carine Pascal, Thai Son Hoang, Micha...
books