Search

Your search keyword '"Specification based testing"' showing total 69 results

Search Constraints

Start Over You searched for: Descriptor "Specification based testing" Remove constraint Descriptor: "Specification based testing"
69 results on '"Specification based testing"'

Search Results

1. An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems

3. Automated Test Scenario Selection Based on Levenshtein Distance

5. UniTesK Test Suite Architecture

7. AUTOMATED TEST GENERATION AND AGILE METHODOLOGIES.

8. On detecting faults for Boolean expressions.

9. Testing data processing-oriented systems from stream X-machine models

10. Testing against a non-controllable stream X-machine using state counting

11. A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude

13. DIFFERENT APPROACHES TO BLACK BOX TESTING TECHNIQUE FOR FINDING ERRORS

14. Multi-paradigm Models as Source for Automated Test Construction.

15. ProTest: An Automatic Test Environment for B Specifications.

16. Specification Based Testing of on Android Systems

17. Using MC/DC as a black-box testing technique

18. Automated optimal test data generation for OCL specification using harmony search algorithm

19. Specification-Based Testing Via Domain Specific Language

21. A Controlled Experiment in Testing of Safety-Critical Embedded Software

22. When Model-based Testing Fails

23. A Controlled Experiment in Testing of Safety-Critical Embedded Software

24. An extended fault class hierarchy for specification-based testing

25. Multi-paradigm Models as Source for Automated Test Construction

26. Software assurance by bounded exhaustive testing

27. On the testing methods used by beginning software testers

28. A choice relation framework for supporting category-partition test case generation

29. On fault classes and error detection capability of specification-based testing

30. Test Case Prioritization in a Specification-based Testing Environment

31. Use of sequencing constraints for specification-based testing of concurrent programs

32. Specification-based testing of reactive software: A case study in technology transfer

33. Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice

34. Incremental Learning and Testing of Reactive Systems

35. Specification-Based Testing of Intrusion Detection Engines Using Logical Expression Testing Criteria

36. Automatic Extraction of Pre- and Postconditions from Z Specifications

37. Quantitative testing

38. Specification Based Testing of Inheritance: A Framework of a Tool

39. Research in graphical user interface automated testing for mobile devices

40. Specification-based Testing Method Using Testing Flow Graphs

41. An Automated Approach for Goal-driven, Specification-based Testing

42. SPECIFICATION-BASED TESTING OF REAL-TIME EMBEDDED SYSTEMSResearch partially supported by the Spanish MCYT project TIC2003-07848-C02-01, the Junta de Castilla-La Mancha project PAC-03-001, and the Marie Curie project MRTN-CT-2003-505121/TAROT

43. Testing with Functions as Specifications

44. ProTest: An Automatic Test Environment for B Specifications

45. High-Level Transitionssysteme für CSP-Spezifikationen und ihre Anwendungen beim automatisierten Testen

46. The specification-based testing of a trusted kernel: MK++

47. Testing with Functions as Specifications

48. Specification-Based Testing of Firewalls

49. A model of specification-based testing of interactive systems

50. Assessing the quality of specification-based testing

Catalog

Books, media, physical & digital resources