Sciweavers

197 search results - page 38 / 40
» Program Slicing Tool for Effective Software Evolution Using ...
Sort
View
AGTIVE
2007
Springer
13 years 9 months ago
Transforming Timeline Specifications into Automata for Runtime Monitoring
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
Eric Bodden, Hans Vangheluwe
ASPLOS
2012
ACM
12 years 1 months ago
Data races vs. data race bugs: telling the difference with portend
Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like ...
Baris Kasikci, Cristian Zamfir, George Candea
NDSS
2008
IEEE
14 years 6 days ago
Automated Whitebox Fuzz Testing
Fuzz testing is an effective technique for finding security vulnerabilities in software. Traditionally, fuzz testing tools apply random mutations to well-formed inputs of a progr...
Patrice Godefroid, Michael Y. Levin, David A. Moln...
ICMI
2004
Springer
120views Biometrics» more  ICMI 2004»
13 years 11 months ago
Support for input adaptability in the ICON toolkit
In this paper, we introduce input adaptability as the ability of an application to exploit alternative sets of input devices effectively and offer users a way of adapting input in...
Pierre Dragicevic, Jean-Daniel Fekete
HICSS
2010
IEEE
166views Biometrics» more  HICSS 2010»
13 years 10 months ago
VrtProf: Vertical Profiling for System Virtualization
As data centers and end users become increasingly reliant on virtualization technology, more efficient and accurate methods of profiling such systems are needed. However, under vir...
Hussam Mousa, Kshitij Doshi, Timothy Sherwood, ElM...