White-box testing of behavioral web service contracts with pex

TAV-WEB 2008 - Proceedings of the Workshop on Testing, Analysis and Verification of Web Software

Volumn , Issue , 2008, Pages 47-48

  Tillmann, Nikolai ^a   De Halleux, Jonathan ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

Symbolic execution; Testing, unit testing; Web service

Indexed keywords

CONTRACTS; SOFTWARE TESTING; TECHNICAL PRESENTATIONS; VERIFICATION; WEB SERVICES;

CORNER CASES; SERVICE CONTRACTS; SERVICE EXPOSES; SYMBOLIC EXECUTION; TEST GENERATIONS; TEST INPUTS;

WORLD WIDE WEB;

EID: 57449120956     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1390832.1390840     Document Type: Conference Paper

References (13)

1. R. Akkiraju, J. Farrell, J. Miller, M. Nagarajan, M.-T. Schmidt, A. Sheth, and K. Verma. Web service semantics - wsdl-s version 1.0. http://www.w3.org/Submission/WSDL-S/, November 2005.
2. C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler. Exe: automatically generating inputs of death. In CCS '06: Proceedings of the 13th ACM conference on Computer and communications security, pages 322-335, New York, NY, USA, 2006. ACM Press.
3. P. Godefroid, N. Klarlund, and K. Sen. DART: directed automated random testing. SIGPLAN Notices, 40(6):213-223, 2005.
4. P. Godefroid, M. Y. Levin, and D. Molnar. Automated whitebox fuzz testing. In Proceedings of NDSS'08 (Network and Distributed Systems Security), pages 151-166, 2008.
5. J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385-394, 1976.
6. E. Martin, S. Basu, and T. Xie. Automated testing and response analysis of web services. In Proc. the IEEE International Conference on Web Services (ICWS 2007), Application Services and Industry Track, pages 647-654, July 2007.
7. Microsoft Corporation. Windows Communication Foundation, http://msdn.microsoft.com/en-us/netframework/aa663324.aspx. [accessed 05-June-2008].
8. Pex development team. Pex. http://research.microsoft.com/Pex, 2007.
9. K. Sen and G. Agha. CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools. In CAV, pages 419-423, 2006.
10. N. Tillmann and J. de Halleux. Pex - white box test generation for .NET. In Proc. of Tests and Proofs (TAP'08), volume 4966 of LNCS, pages 134-153, Prato, Italy, April 2008. Springer.
11. N. Tillmann and W. Schulte. Parameterized unit tests. In Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 253-262. ACM, 2005.
12. N. Tillmann and W. Schulte. Mock-object generation with behavior. In ASE '06: Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering, pages 365-368, Washington, DC, USA, 2006. IEEE Computer Society.
13. N. Tillmann and W. Schulte. Unit tests reloaded: Parameterized unit testing with symbolic execution. IEEE Software, 23(4):38-47, 2006.