Sciweavers

4079 search results - page 2 / 816
» Differential Testing for Software
Sort
View
ISSTA
2010
ACM
13 years 9 months ago
N-version disassembly: differential testing of x86 disassemblers
The output of a disassembler is used for many different purposes (e.g., debugging and reverse engineering). Therefore, disassemblers represent the first link of a long chain of s...
Roberto Paleari, Lorenzo Martignoni, Giampaolo Fre...
ICSE
2007
IEEE-ACM
14 years 5 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
CCS
2008
ACM
13 years 7 months ago
Privacy oracle: a system for finding application leaks with black box differential testing
We describe the design and implementation of Privacy Oracle, a system that reports on application leaks of user information via the network traffic that they send. Privacy Oracle ...
Jaeyeon Jung, Anmol Sheth, Ben Greenstein, David W...
ICSM
2009
IEEE
14 years 1 days ago
Guide: A GUI differentiator
Applications with Graphical User Interfaces (GUIs) are ubiquitous. Nontrivial GUI-based applications (GAPs) evolve frequently, and understanding how GUIs of different versions of ...
Qing Xie, Mark Grechanik, Chen Fu, Chad M. Cumby
BMCBI
2006
213views more  BMCBI 2006»
13 years 5 months ago
CoXpress: differential co-expression in gene expression data
Background: Traditional methods of analysing gene expression data often include a statistical test to find differentially expressed genes, or use of a clustering algorithm to find...
Michael Watson