Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from VLDB 2026 / reviewers in the wild / expert

Jeffrey Douglas

dblp:57/887 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 1994
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program analysis · 62% Requirements engineering and software design · 38%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis
symbolic execution		 0.011994
Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications · ISSTA 1994
Requirements engineering and software design
formal specification		 0.011994
Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications · ISSTA 1994
Requirements engineering and software design › formal specification
state-based specification		 0.011994
Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications · ISSTA 1994

Methods — techniques the papers use, named apart from their topics

symbolic execution · 0.0first-order predicate calculus · 0.0
YearPublicationVenuePosition
1994 Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications
abstract
This paper introduces Aslantest, a symbolic execution tool for the formal specification language Aslan. Aslan is a state-based specification language built on first-order predicate calculus with equality. Aslantest animates Aslan specifications and enables users to interactively run specific test cases or symbolically execute the specification. Testing the formal specifications early in the software life cycle allows one to assure a reliable system that also provides the desired functionality.
Jeffrey Douglas, Richard A. Kemmerer
 ISSTA1