Sciweavers

5962 search results - page 481 / 1193
» Working with Patterns and Code
Sort
View
249
Voted
ICSE
2012
IEEE-ACM
13 years 9 months ago
make test-zesti: A symbolic execution solution for improving regression testing
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
Paul Dan Marinescu, Cristian Cadar
ECCV
2008
Springer
16 years 8 months ago
Compressive Structured Light for Recovering Inhomogeneous Participating Media
We propose a new method named compressive structured light for recovering inhomogeneous participating media. Whereas conventional structured light methods emit coded light patterns...
Jinwei Gu, Shree K. Nayar, Eitan Grinspun, Peter N...
SAS
2009
Springer
149views Formal Methods» more  SAS 2009»
16 years 1 months ago
Creating Transformations for Matrix Obfuscation
There are many programming situations where it would be convenient to conceal the meaning of code, or the meaning of certain variables. This can be achieved through program transfo...
Stephen Drape, Irina Voiculescu
WCRE
2009
IEEE
16 years 1 months ago
SQUAD: Software Quality Understanding through the Analysis of Design
—Object-oriented software quality models usually use metrics of classes and of relationships among classes to assess the quality of systems. However, software quality does not de...
Foutse Khomh
CSFW
2007
IEEE
16 years 1 months ago
Secure Implementations for Typed Session Abstractions
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...
Ricardo Corin, Pierre-Malo Deniélou, C&eacu...