493 search results - page 44 / 99 » An Analysis of Tool-Based Research in Software Engineering |
ICSE
2010
IEEE-ACM
14 years 12 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
ICSM
2006
IEEE
15 years 4 months ago
2006
IEEE
Understanding function signature change properties and evolution patterns is important for researchers concerned with alleviating signature change impacts, understanding software ...
RE
2008
Springer
14 years 8 months ago
2008
Springer
In this paper, we describe a creativity workshop that was used in a large research project, called APOSDLE, to generate creative ideas and requirements for a workintegrated learni...
TASE
2008
IEEE
14 years 10 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...