342 search results - page 15 / 69 » Compositional Testing with ioco |
145
Voted
FORTE
2007
15 years 7 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
141
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: As one of the most common protein post-translational modifications, glycosylation is involved in a variety of important biological processes. Computational identificat...
143
Voted
IROS
2008
IEEE
16 years 23 days ago
2008
IEEE
— This work presents the design, fabrication, and testing of a novel hexapedal walking millirobot using only two actuators. Fabricated from S2-Glass reinforced composites and fl...
147
Voted
ICAD
2004
15 years 7 months ago
2004
We describe a software system which enables computergenerated soundscapes to be synthesised, spatialised and edited using a gestural interface. Iterative design and testing of the...
187
Voted
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...