Stateful testing: Finding more errors in code and contracts

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) ◽

10.1109/ase.2011.6100094 ◽

2011 ◽

Author(s):

Yi Wei ◽

Hannes Roth ◽

Carlo A. Furia ◽

Yu Pei ◽

Alexander Horton ◽

...

Download Full-text