217 citations
- Lund UniversitySE11 papers
- Universidad Autónoma de MadridES7 papers
- Chalmers University of TechnologySE4 papers
- Leipzig UniversityDE4 papers
- Universidad Internacional De La RiojaES4 papers
- University of SalzburgAT4 papers
- Wuhan University of TechnologyCN4 papers
- KTH Royal Institute of TechnologySE3 papers
- Stockholm UniversitySE3 papers
- Universidad Carlos III de MadridES3 papers
- Universidade Federal do TocantinsBR3 papers
- University of MaltaMT3 papers
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2017★ 6 cited
Modelling of Autosar Libraries for Large Scale Testing
Wojciech Mostowski, Thomas Arts, John Hughes
We demonstrate a specific method and technology for model-based testing of large software projects with the QuickCheck tool using property-based specifications. Our specifications…
cs.SE2014★ 12 cited
Spinal Test Suites for Software Product Lines
Harsh Beohar, Mohammad Reza Mousavi
A major challenge in testing software product lines is efficiency. In particular, testing a product line should take less effort than testing each and every product individually. W…
cs.SE2013★ 7 cited
Decomposability in Input Output Conformance Testing
Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
We study the problem of deriving a specification for a third-party component, based on the specification of the system and the environment in which the component is supposed to res…