Schulte. Composition of model programs. In J.
Derrick and J. Vain, editors, 27th International Conference on Formal Methods
for Networked and Distributed Systems, FORTE??™07, Tallinn, Estonia, June 2007,
volume 4574 of Lecture Notes in Computer Science. Springer 2007a.
M. Veanes, J. Ernits, and C. Campbell. State isomorphism in model programs with
abstract data structures. In J. Derrick and J. Vain, editors, 27th International
Conference on Formal Methods for Networked and Distributed Systems,
FORTE??™07, Tallinn, Estonia, June 2007, volume 4574 of Lecture Notes in
Computer Science. Springer, 2007b.
M. Veanes, C. Campbell, W. Schulte, and N. Tillmann. Online testing with
model programs. In ESEC/FSE-13: Proceedings of the 10th European Software
Engineering Conference Held Jointly with 13th ACM SIGSOFT International
Symposium on Foundations of Software Engineering, pages 273??“282. ACM
Press, New York, 2005.
M. Veanes, P. Roy, and C. Campbell. Online testing with reinforcement learning.
In K. Havelund, M. N??u
??nez, G. Rosu, and B. Wolff, editors, FATES/RV,
volume 4262 of Lecture Notes in Computer Science, pages 240??“253. Springer,
2006.
Bibliography 339
J.Woodcock and M. Loomes. Software Engineering Mathematics. Addison-Wesley,
1989.
T. Xie, D. Marinov, W. Schulte, and D. Notkin. Symstra: A framework for
generating object-oriented unit tests using symbolic execution.
Pages:
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439