1236 search results - page 19 / 248 » The Problems of Data Modeling in Software Practice |
155
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
114
Voted
EUROSYS
2009
ACM
16 years 12 days ago
2009
ACM
This paper evaluates pointer tainting, an incarnation of Dynamic Information Flow Tracking (DIFT), which has recently become an important technique in system security. Pointer tai...
123
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— One of the main tasks software testing involves is the generation of the test inputs to be used during the test. Due to its expensive cost, the automation of this task has beco...
157
Voted
CG
2007
Springer
15 years 3 months ago
2007
Springer
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...
159
click to vote
FMICS
2010
Springer
15 years 3 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...