| 2007 | ||
|---|---|---|
| 2 | EE | Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller: Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation. TAP 2007: 114-130 |
| 2004 | ||
| 1 | EE | Bernd Schoeller, Tobias Widmer, Bertrand Meyer: Making Specifications Complete Through Models. Architecting Systems with Trustworthy Components 2004: 48-70 |
| 1 | Lisa (Ling) Liu | [2] |
| 2 | Bertrand Meyer | [1] [2] |
| 3 | Tobias Widmer | [1] |