Software test automation: effective use of test execution tools
Software test automation: effective use of test execution tools
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Testing Erlang data types with quviq quickcheck
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Early fault detection with model-based testing
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Erlang testing and tools survey
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Testing Erlang Refactorings with QuickCheck
Implementation and Application of Functional Languages
Finding race conditions in Erlang with QuickCheck and PULSE
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Automatic testing of TCP/IP implementations using QuickCheck
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Recent improvements to the McErlang model checker
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Property driven development in Erlang, by example
Proceedings of the 5th Workshop on Automation of Software Test
Using temporal relations to specify and test an instant messaging server
Proceedings of the 5th Workshop on Automation of Software Test
Ranking programs using black box testing
Proceedings of the 5th Workshop on Automation of Software Test
From test cases to FSMs: augmented test-driven development and property inference
Proceedings of the 9th ACM SIGPLAN workshop on Erlang
Quickchecking refactoring tools
Proceedings of the 9th ACM SIGPLAN workshop on Erlang
Improved testing through refactoring: experience from the protest project
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Property-based testing: the ProTest project
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Software testing with QuickCheck
CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school
Testing Data Consistency of Data-Intensive Applications Using QuickCheck
Electronic Notes in Theoretical Computer Science (ENTCS)
Accelerating race condition detection through procrastination
Proceedings of the 10th ACM SIGPLAN workshop on Erlang
Model-based testing of data types with side effects
Proceedings of the 10th ACM SIGPLAN workshop on Erlang
A PropEr integration of types and function specifications with property-based testing
Proceedings of the 10th ACM SIGPLAN workshop on Erlang
Test-driven development of concurrent programs using concuerror
Proceedings of the 10th ACM SIGPLAN workshop on Erlang
Testing polymorphic properties
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Property-Based testing and verification: a catalog of classroom examples
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
Automatic generation of test models and properties from UML models with OCL constraints
Proceedings of the 12th Workshop on OCL and Textual Modelling
Turning web services descriptions into quickcheck models for automatic testing
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang
Testing blocking operations with QuickCheck's component library
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
A language-independent approach to black-box testing using Erlang as test specification language
Journal of Systems and Software
Combining Fault-Injection with Property-Based Testing
Proceedings of International Workshop on Engineering Simulations for Cyber-Physical Systems
Hi-index | 0.00 |
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative testing and we used our developed specification to test an old version in order to estimate how useful QuickCheck could potentially be when used early in development.The results of the case study indicate that, by using Quviq QuickCheck, we would have been able to detect faults early in the development.We detected faults that had not been detected by other testing techniques. We found unclarities in the specifications and potential faults when the software is used in a different setting. The results are considered promising enough to Ericsson that they are investing in an even larger case study, this time from the beginning of the development of a new product.