Search Sciweavers | Sciweavers

28

CSCW
2012
ACM

221views Social Sciences» more CSCW 2012»

Organizing without formal organization: group identification, goal setting and social modeling in directing online production

12 years 3 months ago

Download www.cs.cmu.edu

A challenge for many online production communities is to direct their members to accomplish tasks that are important to the group, even when these tasks may not match individual m...

Haiyi Zhu, Robert Kraut, Aniket Kittur

claim paper

Read More »

29

click to vote

FATES
2004
Springer

131views Software Engineering» more FATES 2004»

Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach

14 years 1 months ago

Download www.cs.bham.ac.uk

A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...

Behzad Bordbar, Kozo Okano

claim paper

Read More »

25

click to vote

ICTAC
2009
Springer

99views Applied Computing» more ICTAC 2009»

A Formal Approach to Heuristically Test Restorable Systems

14 years 8 days ago

Download kimba.mat.ucm.es

Abstract. Given a nite state machine denoting the specication of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...

Pablo Rabanal, Ismael Rodríguez, Fernando R...

claim paper

Read More »

20

click to vote

TAP
2010
Springer

145views Hardware» more TAP 2010»

QuickSpec: Guessing Formal Specifications Using Testing

13 years 5 months ago

Download www.cse.chalmers.se

We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...

Koen Claessen, Nicholas Smallbone, John Hughes

claim paper

Read More »

22

click to vote

PASTE
2005
ACM

115views Software Engineering» more PASTE 2005»

Invariants and state in testing and formal methods

14 years 1 months ago