Sciweavers

612 search results - page 14 / 123
» Using Static Analysis to Improve Automatic Test Generation
Sort
View
TOG
2008
926views more  TOG 2008»
13 years 8 months ago
3D-modeling by ortho-image generation from image sequences
A semi-automatic approach is presented that enables the generation of a high-quality 3D model of a static object from an image sequence that was taken by a moving, uncalibrated co...
Thorsten Thormählen, Hans-Peter Seidel
SIGSOFT
2010
ACM
13 years 6 months ago
Differential static analysis: opportunities, applications, and challenges
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare
DAGM
2007
Springer
14 years 2 months ago
A Multi-view Camera System for the Generation of Real-Time Occlusion-Free Scene Video
This paper presents a novel multi-view camera system that produces real-time single view scene video which sees through the static objects to observe the dynamic objects. The syste...
Alparslan Yildiz, Yusuf Sinan Akgul
JOT
2007
123views more  JOT 2007»
13 years 8 months ago
Towards a Tool Supporting Integration Testing of Aspect-Oriented Programs
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...
Philippe Massicotte, Linda Badri, Mourad Badri
ICSM
2005
IEEE
14 years 2 months ago
Static Analysis of Object References in RMI-Based Java Software
Distributed applications provide numerous advantages related to software performance, reliability, interoperability, and extensibility. This paper focuses on distributed Java prog...
Mariana Sharp, Atanas Rountev