Sciweavers

30 search results - page 2 / 6
» Teaching software testing methods based on diversity princip...
Sort
View
FM
2009
Springer
153views Formal Methods» more  FM 2009»
13 years 8 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
ICST
2008
IEEE
14 years 5 months ago
Designing and Building a Software Test Organization
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
Bruce Benton
HICSS
2005
IEEE
160views Biometrics» more  HICSS 2005»
14 years 4 months ago
Using Content and Process Scaffolds to Support Collaborative Discourse in Asynchronous Learning Networks
Discourse, a form of collaborative learning [44], is one of the most widely used methods of teaching and learning in the online environment. Particularly in large courses, discour...
I. Wong-Bushby, Starr Roxanne Hiltz, Michael Biebe...
SIGUCCS
2003
ACM
14 years 4 months ago
Computing competencies: ensuring student success
St. Edward’s University has developed a web-based Computer Competency Program ensuring one standard of competency for a diverse student population. Over the past decade faculty ...
Gloria Gonzales-Dholakia
ICTAC
2009
Springer
13 years 8 months ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier