Towards property-based testing of RESTful web services

Architectural styles and the design of network-based software architectures

Roy T. Fielding, Richard N. Taylor · 2000 · 5.1K citations

Computing, Computer Science, Computer Systems +14

QuickCheck

Koen Claessen, John Hughes · ACM SIGPLAN Notices · 2011 · 1K citations

Computing, Computer Science, Formal Methods +12

Testing Web applications by modeling with FSMs

Anneliese Amschler Andrews, Jeff Offutt, Roger T. Alexander · Software & Systems Modeling · 2005 · 337 citations

Computing, Computer Engineering, Computer Science +12

A PropEr integration of types and function specifications with property-based testing

Manolis Papadakis, Konstantinos Sagonas · 2011 · 82 citations · Full text

Computing, Computer Science, Formal Methods +16

Test-the-REST: An Approach to Testing RESTful Web-Services

Sujit Kumar Chakrabarti, Prashant Kumar · 2009 · 40 citations

Computing, Information Technology, Test Construction +13