Back to Results
First PageMeta Content
Abstract data types / Computing / Software engineering / Queue / Double-ended queue / FIFO / Abstraction


Automatic Testing of Operation Invariance Tobias G¨odderz and Janis Voigtl¨ander University of Bonn, Germany, {goedderz,jv}@cs.uni-bonn.de Abstract. We present an approach to automatically generating operation invarian
Add to Reading List

Document Date: 2015-02-26 03:09:41


Open Document

File Size: 208,70 KB

Share Result on Facebook