Sciweavers

267 search results - page 29 / 54
» Constructing Test Suites for Interaction Testing
Sort
View
SAC
2010
ACM
14 years 2 months ago
Extraction of component-environment interaction model using state space traversal
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
Pavel Parizek, Nodir Yuldashev
ICALT
2005
IEEE
14 years 1 months ago
Designing Web-Based Interactive Learning Environments for Problem-Based Learning
Problem-based learning is a pedagogical strategy that centers learning activities around the investigation and development of solutions to complex and ill-structured authentic pro...
Lin Qiu, Christopher Riesbeck
SIGIR
2002
ACM
13 years 7 months ago
Do TREC web collections look like the web?
We measure the WT10g test collection, used in the TREC-9 and TREC 2001 Web Tracks, and the .GOV test collection used in the TREC 2002 Web and Interactive Tracks, with common measu...
Ian Soboroff
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
12 years 3 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
BMCBI
2010
132views more  BMCBI 2010»
13 years 7 months ago
An interaction-motif-based scoring function for protein-ligand docking
Background: A good scoring function is essential for molecular docking computations. In conventional scoring functions, energy terms modeling pairwise interactions are cumulativel...
Zhong-Ru Xie, Ming-Jing Hwang