On theorem prover-based testing

Overview of attention for article published in Formal Aspects of Computing, March 2012

Altmetric Badge

About this Attention Score

Among the highest-scoring outputs from this source (#18 of 132)
Average Attention Score compared to outputs of the same age

Mentioned by

wikipedia: 2 Wikipedia pages

Citations

dimensions_citation: 34 Dimensions

Readers on

mendeley: 33 Mendeley

Summary Wikipedia Dimensions citations

So far, Dimensions has found 34 publications that cite this research output.

34

The most recent citing publications are shown below. View all 34 publications that cite this research output on Dimensions.

Leveraging Conditional Statement to Generate Acceptance Tests Automatically via Traceable Sequence Generation

Conference proceeding (October 2023)

Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing

Book chapter (June 2022)

Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements

Article in Science of Computer Programming (January 2021)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.