SwePub
Sök i SwePub databas

  Extended search

Träfflista för sökning "WFRF:(de Gouw Stijn) "

Search: WFRF:(de Gouw Stijn)

  • Result 1-1 of 1
Sort/group result
   
EnumerationReferenceCoverFind
1.
  • Wong, Peter Y. H., et al. (author)
  • Testing abstract behavioral specifications
  • 2014
  • In: International Journal on Software Tools for Technology Transfer. - : Springer. - 1433-2779 .- 1433-2787. ; 17:1, s. 107-119
  • Journal article (peer-reviewed)abstract
    • We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to the introduction of subtle bugs that are hard to detect in the presence of steady adaptation. While static analysis techniques are available for an abstract language such as ABS, testing is still indispensable and complements analytic methods. We focus on fully automated testing techniques including black-box and glass-box test generation as well as runtime assertion checking, which are shown to be effective in an industrial setting.
  •  
Skapa referenser, mejla, bekava och länka
  • Result 1-1 of 1
Type of publication
journal article (1)
Type of content
peer-reviewed (1)
Author/Editor
Bubel, Richard (1)
Meinke, Karl (1)
de Boer, Frank S. (1)
Sindhu, Mudassar A. (1)
Wong, Peter Y. H. (1)
Gómez-Zamalloa, Migu ... (1)
show more...
de Gouw, Stijn (1)
Hähnle, Reiner (1)
show less...
University
Royal Institute of Technology (1)
Language
English (1)
Research subject (UKÄ/SCB)
Natural sciences (1)
Year
2014 (1)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Close

Copy and save the link in order to return to this view