Sciweavers

1951 search results - page 55 / 391
» UML-Based integration testing
Sort
View
138
Voted
SFP
2003
15 years 4 months ago
Testing Scheme programming assignments automatically
Abstract In distance learning the lack of direct communication between teachers and learners makes it difficult to provide direct assistance to students while they are solving the...
Manfred Widera
129
Voted
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
15 years 2 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
165
Voted
ESEM
2009
ACM
15 years 1 months ago
Productivity trends in incremental and iterative software development
In an investigating study to trace the productivity changes of a commercial software project, which uses incremental and iterative development model, we've found evidence tha...
Thomas Tan, Qi Li, Barry W. Boehm, Ye Yang, Mei He...
USS
2008
15 years 5 months ago
Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards
Optical scan electronic voting machines employ software components that are customized for each specific election. Such software components are critical from a security and integr...
Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, La...
111
Voted
INTEGRATION
1998
96views more  INTEGRATION 1998»
15 years 3 months ago
BIST for systems-on-a-chip
An increasing part of microelectronic systems is implemented on the basis of predesigned and preverified modules, so-called cores, which are reused in many instances. Core-provide...
Hans-Joachim Wunderlich