17 search results - page 1 / 4 » tse 2011 |
TSE
2011
12 years 12 months ago
2011
TIT
2011
12 years 12 months ago
2011
TSE
2011
12 years 12 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
TSE
2011
12 years 12 months ago
2011
Software module clustering is the problem of automatically organising software units into modules to improve program structure. There has been a great deal of recent interest in s...
TSE
2011
12 years 12 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...