Sciweavers

5159 search results - page 84 / 1032
» Structural Testing of Executables
Sort
View
DSS
2006
149views more  DSS 2006»
15 years 2 months ago
A metadatabase-enabled executive information system (Part A): A flexible and adaptable architecture
Executive information systems (EIS) that are capable of accessing multiple data sources (both online and offline) for ondemand, ad hoc analysis are needed to support the changing ...
Waiman Cheung, Gilbert Babin
LCTRTS
2000
Springer
15 years 6 months ago
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems
The control system of many complex mechatronic products requires for each task the Worst Case Execution Time (WCET), which is needed for the scheduler's admission tests and su...
Matteo Corti, Roberto Brega, Thomas R. Gross
SIGMOD
2010
ACM
215views Database» more  SIGMOD 2010»
15 years 6 months ago
Dynamic symbolic database application testing
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
Chengkai Li, Christoph Csallner
PLDI
2010
ACM
15 years 7 months ago
Mixing type checking and symbolic execution
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Fos...
EUROMICRO
1999
IEEE
15 years 6 months ago
Software Synthesis for System Level Design Using Process Execution Trees
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen