-
Proceedings of the 2012 ACM SIGPLAN PPDP '12; 09/2012
-
Proceedings of the 4th} # CEFP # {'11; 06/2012
-
Proceedings of the 9th} # ISCRAM # {'12; 04/2012
-
Draft Proceedings of the 23rd } # SIAFL # {'11; 10/2011
-
[show abstract]
[hide abstract]
ABSTRACT: Model-based testing of single functions is usually based on logical properties as specification. In practice it appears to be rather hard to develop a sufficiently strong set of properties to spot all errors. For model-based testing of state based systems one usually employs a state machine as model and a conformance relation between this specification and the software under test. For (abstract) data types we can use both ways of model-based testing. In this paper we compare the specification effort required to make a model that is able to find issues and the num-ber of tests needed to find issues for some well-known data types. Our examples show that it can be easier to write state based specifications. Moreover, state based testing of data types finds more implementation issues and is very efficient.
International Symposium on the Implementation and Application of Functional Languages, The University of Kansas, USA; 10/2011
-
Proceedings of the 8th} # ISCRAM # {'11; 05/2011
-
Proceedings of the} # WGP # {'11, Tokyo, Japan; 01/2011
-
Proceedings of the 12th } # TFP # {'11, Selected Papers; 01/2011
-
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011; 01/2011
-
Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding; 01/2011
-
Revised Selected Papers of the 15th} # ICCRTS # {'10; 06/2010
-
Proceedings of the 7th} # ISCRAM # {'10; 05/2010
-
Proceedings } # WGT # {'10; 01/2010
-
Journal of Functional Programming 01/2010; Submitted for publication. · 0.88 Impact Factor
-
Revised Selected Papers of the} # SIAFL # {'09, South Orange, NJ, USA; 01/2010
-
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS; 01/2010
-
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010; 01/2010
-
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010; 01/2010
-
Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers; 01/2010
-
Electr. Notes Theor. Comput. Sci. 01/2009; 238:59-70.