Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  health  rust  trump  show  openai  arstechnica.com  game  theguardian.com  psychology  china  javascript  psypost.org  meta  video  apple  eurekalert.org  techcrunch.com  security 

State Space Explosion: The Reason We Can Never Test Software to Perfection(2021)

15 days ago concerningquality.com

Controlling Nondeterminism in Model-Based Tests with Prophecy Variables

37 days ago concerningquality.com database formalmethods testing

Does your test suite account for weak transaction isolation?

13 months ago concerningquality.com database testing

Forward and Backward Reasoning in Proof Assistants

16 months ago concerningquality.com formalmethods math

Compiling a Test Suite

17 months ago concerningquality.com compiler formalmethods plt testing

Most Tests Should Be Generated

19 months ago concerningquality.com testing

Property-Based Testing Against a Model of a Web Application

19 months ago concerningquality.com testing web

Logical Time and Deterministic Execution

23 months ago concerningquality.com compsci philosophy plt

Efficient and Flexible Model-Based Testing

24 months ago concerningquality.com formalmethods testing

The Case for Models

2 years ago concerningquality.com

Extracting a Verified Interpreter from Isabelle/HOL

2 years ago concerningquality.com

Domain-Driven Test Data Generation: A Category-Partition Method and Property-Based Testing Mashup

2 years ago concerningquality.com

Property-Based Testing Against a Model of a Web Application

2 years ago concerningquality.com web

State Space Explosion: The Reason We Can Never Test Software to Perfection (2021)

2 years ago concerningquality.com

The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods

2 years ago concerningquality.com

Refinement: Formalizing the Simplicity Underneath Complex Programs

3 years ago concerningquality.com

Misspecification: The Blind Spot of Formal Verification

3 years ago concerningquality.com