Sciweavers

4079 search results - page 319 / 816
» Differential Testing for Software
Sort
View
KBSE
2008
IEEE
15 years 11 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
HICSS
2006
IEEE
120views Biometrics» more  HICSS 2006»
15 years 10 months ago
Reconciling the Irreconcilable? A Software Development Approach that Combines Agile with Formal
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
José Gonçalo A. Oliveira Basto da Si...
RTAS
2006
IEEE
15 years 10 months ago
Adaptive Allocation of Software and Hardware Real-Time Tasks for FPGA-based Embedded Systems
Operating systems for reconfigurable devices enable the development of embedded systems where software tasks, running on a CPU, can coexist with hardware tasks running on a recon...
Rodolfo Pellizzoni, Marco Caccamo
APSEC
2005
IEEE
15 years 10 months ago
Understanding the Nature of Collaboration in Open-Source Software Development
Our approach to better understand the nature of collaboration in open-source software (OSS) development is to view it as a participative system, where people and artifacts are int...
Kumiyo Nakakoji, Kazuaki Yamada, Elisa Giaccardi
LCTRTS
2005
Springer
15 years 10 months ago
Nonintrusive precision instrumentation of microcontroller software
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
Ben Titzer, Jens Palsberg