Sciweavers

4079 search results - page 503 / 816
» Differential Testing for Software
Sort
View
119
Voted
PTS
2010
147views Hardware» more  PTS 2010»
15 years 3 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...
TRIDENTCOM
2010
IEEE
15 years 2 months ago
Framework for IMS Service Scenario Implementation
This paper presents an experimental framework for implementation of an IMS/NGN reference service scenario by means of open source software. Multiple service enablers are deployed t...
Andrey Krendzel, Jawad Hussain, Josep Mangues-Bafa...
JLP
2010
73views more  JLP 2010»
14 years 11 months ago
Composing model programs for analysis
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
Margus Veanes, Jonathan Jacky
SIGKDD
2010
101views more  SIGKDD 2010»
14 years 11 months ago
Unexpected results in online controlled experiments
Controlled experiments, also called randomized experiments and A/B tests, have had a profound influence on multiple fields, including medicine, agriculture, manufacturing, and adv...
Ron Kohavi, Roger Longbotham
173
Voted
SIGUCCS
2000
ACM
15 years 9 months ago
Linux and Open Source in the Academic Enterprise
Open Source Software (OSS) has made great strides toward mainstream acceptance over the past two years. However, many IT managers, both in business and academia, are still cautiou...
Mike Davis, Will O'Donovan, John Fritz, Carlisle C...