Sciweavers

483 search results - page 25 / 97
» Experimental Software Engineering: A Report on the State of ...
Sort
View
QSIC
2005
IEEE
14 years 2 months ago
Towards Goal-Oriented Design of Agent Systems
The initial step of any software engineering methodology is to form requirements. Recently, a goal-oriented approach to requirements has been proposed and argued to be beneficial...
Jason Khallouf, Michael Winikoff
IWEC
2004
13 years 10 months ago
Commedia Virtuale: Theatre Inspiration for Expressive Avatars
We are investigating face, hand and body expressions to be applied to avatars of a virtual environment to improve their communication capabilities and enrich and facilitate their p...
Ben Salem
ICSE
2010
IEEE-ACM
13 years 10 months ago
Efficient hybrid typestate analysis by determining continuation-equivalent states
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
Eric Bodden
ISSTA
2006
ACM
14 years 2 months ago
Test input generation for java containers using state matching
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...
ICSE
2008
IEEE-ACM
14 years 9 months ago
Precise memory leak detection for java software using container profiling
A memory leak in a Java program occurs when object references that are no longer needed are unnecessarily maintained. Such leaks are difficult to understand because static analyse...
Guoqing Xu, Atanas Rountev