Sciweavers

Share
8 search results - page 1 / 2
» tr 2016
Sort
View
TR
2016
46views more  TR 2016»
4 years 4 months ago
Measuring the Diversity of a Test Set With Distance Entropy
—Most existing metrics that we call white-box metrics, such as coverage metrics, require white-box information, like program structure information, and historical runtime informa...
Qingkai Shi, Zhenyu Chen, Chunrong Fang, Yang Feng...
TR
2016
42views more  TR 2016»
4 years 4 months ago
Recovery From Software Failures Caused by Mandelbugs
—Software failures are still a major concern in mission- and enterprise-critical contexts, despite significant efforts spent in software testing. In fact, while software testing ...
Michael Grottke, Dong Seong Kim, Rajesh K. Manshar...
TR
2016
61views more  TR 2016»
4 years 4 months ago
Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining
—Although a large research effort on web application security has been going on for more than a decade, the security of web applications continues to be a challenging problem. An...
Iberia Medeiros, Nuno Ferreira Neves, Miguel Corre...
TR
2016
48views more  TR 2016»
4 years 4 months ago
Improved Sampling Plans for Combinatorial Invariants of Coherent Systems
—Terminal network reliability problems appear in many real–life applications, such as transportation grids, social and computer networks, communication systems, etc. In this pa...
Radislav Vaisman, Dirk P. Kroese, Ilya B. Gertsbak...
TPLP
2016
60views more  TPLP 2016»
4 years 4 months ago
Description and Optimization of Abstract Machines in a Dialect of Prolog
ion and Optimization of Abstract Machines in a Dialect of Prolog∗ October 2009 facultad de inform´atica universidad polit´ecnica de madrid J. F. Morales M. Carro M. Hermenegild...
José F. Morales, Manuel Carro, Manuel V. He...
books