Sciweavers

674 search results - page 95 / 135
» Arguments and Results
Sort
View
SIGSOFT
2005
ACM
14 years 9 months ago
CUTE: a concolic unit testing engine for C
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
Koushik Sen, Darko Marinov, Gul Agha
POPL
2008
ACM
14 years 9 months ago
The intensional content of Rice's theorem
The proofs of major results of Computability Theory like Rice, Rice-Shapiro or Kleene's fixed point theorem hide more information of what is usually expressed in their respec...
Andrea Asperti
HICSS
2009
IEEE
146views Biometrics» more  HICSS 2009»
14 years 3 months ago
Open Access to Scientific Literature - Increasing Citations as an Incentive for Authors to Make Their Publications Freely Access
In recent years the scientific journal market faces significant evolutions that may cause major changes in the way of publishing research results. In this connection, open access ...
Steffen Bernius, Matthias Hanauske
SAC
2009
ACM
14 years 3 months ago
Open source vs. closed source software: towards measuring security
The increasing availability and deployment of open source software in personal and commercial environments makes open source software highly appealing for hackers, and others who ...
Guido Schryen, Rouven Kadura
KBSE
2009
IEEE
14 years 3 months ago
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sa...