1989 (v1)
Publication
No description
Uploaded on: April 14, 2023
-
-
1993 (v1)Publication
No description
Uploaded on: December 5, 2022 -
1998 (v1)Publication
No description
Uploaded on: December 5, 2022 -
2008 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2014 (v1)Publication
We present a novel method, and its associated supporting tool, for automatically singling out sloppy tests; that is, tests that run successfully on (some) incorrect implementations, that violate the property they are expected to verify. Our freely available tool is written in C#, but the technique is language agnostic and can be easily applied...
Uploaded on: April 14, 2023 -
1998 (v1)Publication
No description
Uploaded on: April 14, 2023 -
1997 (v1)Publication
No description
Uploaded on: December 5, 2022 -
2006 (v1)Publication
No description
Uploaded on: April 14, 2023 -
1996 (v1)Publication
No description
Uploaded on: February 22, 2023 -
1995 (v1)Publication
No description
Uploaded on: December 5, 2022 -
1992 (v1)Publication
No description
Uploaded on: February 22, 2023 -
1991 (v1)Publication
No description
Uploaded on: December 4, 2022 -
1993 (v1)Publication
No description
Uploaded on: December 4, 2022 -
2000 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2008 (v1)Publication
No description
Uploaded on: April 14, 2023 -
2008 (v1)Publication
No description
Uploaded on: April 14, 2023 -
1993 (v1)Publication
No description
Uploaded on: April 14, 2023 -
1998 (v1)Publication
No description
Uploaded on: March 27, 2023 -
2006 (v1)Publication
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specifications of observers on dynamic sorts. The need for such constructs arose during the development of a CASL library for distributed systems. Indeed, we have frequently...
Uploaded on: April 14, 2023 -
2008 (v1)Publication
Small and medium enterprises (SMEs) are the most aected by the exponentially increasing complexity of the average software sys- tem: not losing the grip on the new technologies may turn out to be an unsustainable drain on productive eort, as their developers need to devote a substantial part of their time to learning instead of producing. In...
Uploaded on: April 14, 2023 -
1995 (v1)Publication
No description
Uploaded on: December 5, 2022