Bernd Schoeller

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

2 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 Bernd Schoeller, Tobias Widmer, Bertrand Meyer: Making Specifications Complete Through Models. Architecting Systems with Trustworthy Components 2004: 48-70

	2007
2		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		Bernd Schoeller, Tobias Widmer, Bertrand Meyer: Making Specifications Complete Through Models. Architecting Systems with Trustworthy Components 2004: 48-70

Coauthor Index