First Page | Document Content | |
---|---|---|
Date: 2015-02-26 03:09:41Abstract 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 invarianAdd to Reading ListSource URL: ceur-ws.orgDownload Document from Source WebsiteFile Size: 208,70 KBShare Document on Facebook |