Test Generation from Bounded, Algebraic Specifications Using Alloy (2008)
6 comments · formalmethods, java, pdf, testing
- Comments6
–Rank now
#24Peak rank
1Days on list
–Score · 7d
Oct 31, 2026First seen
On Lobsters
Abstract: "Algebraic specification languages have been successfully used for the formal specification of abstract data types (ADTs) and software components, and there are several approaches to automatically derive test cases that check the conformity between the implementation and the algebraic specification of a software component. However, existing approaches do not assure the coverage of conditional axioms and conditions embedded in complex axioms. In this paper, we present a novel approach…
formalmethodsjavapdftesting
- Score
- 3
- Comments
- 6
- Submitted by
- nickpsecurity
- Tags
- formalmethods, java, pdf, testing
- Site
- di.fc.ul.pt
Story details from Lobsters ↗ · linked article on di.fc.ul.pt.
Trending history
Test Generation from Bounded, Algebraic Specifications Using Alloy (2008) was first seen on Lobsters · Hottest on Oct 31, 2026. Since then it has appeared in 1 check on 1 different day. Its best position was #24 of 25, reached on Oct 31, 01:51 UTC. It dropped off the list after Oct 31, 01:51 UTC.
Rank history
Position on Lobsters · Hottest at every check (lower is better).
Last 14 days
Best rank per day (UTC).
24
Oct 26today
From the discussion
A few top-level comments from Lobsters, shortened. Read the full thread on Lobsters.
This is pretty interesting. There are a whole bunch of techniques in here I would have never discovered on my own. For example, ``` fact BStackIntConstruction { BStackInt in (start.make[Int]).*{x:BStackInt, y:x.push[Int]} } fact ElementUsedVariables { Element in (BStackInt) } ``` Trying to make sense of this stuff is…
Glad you're enjoying it. Alloy is kind of limited from user reports Ive been reading. Might be why they're jumping through hoops. If you want flexibility, check out rewriting logic using Maude and K Framework (built on Maude). The K people have done a diverse array of languages, including C semantics. Maude has been…
Featured in
Archived daily, weekly and monthly lists that include this entry.
Lobsters 1 day, best #24
Questions
Is Test Generation from Bounded, Algebraic Specifications Using Alloy (2008) trending on Lobsters right now?
Not at the moment. It was last on the list on Oct 31, 01:51 UTC, after 1 day of trending.
What is the highest rank Test Generation from Bounded, Algebraic Specifications Using Alloy (2008) reached?
#24 on Lobsters · Hottest, on Oct 31, 01:51 UTC. Trendoday checks this list every 30 minutes.
How long has Test Generation from Bounded, Algebraic Specifications Using Alloy (2008) been trending?
It was first seen on Oct 31, 2026 and has been on the list on 1 day (1 check) since.