12 search results - page 3 / 3 » Testing-Based Abstractions for Value-Passing Systems |
ICST
2008
IEEE
14 years 1 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
RECOMB
2006
Springer
14 years 7 months ago
2006
Springer
Abstract. Transcriptional interactions in a cell are modulated by a variety of mechanisms that prevent their representation as pure pairwise interactions between a transcription fa...