Michal Sroka

  • Citations Per Year
Learn More
This paper explores how current planners behave when exposed to multiple metrics, examining which of the planners are metric sensitive and which are not. For the metric insensitive planners we propose a new method of simulating metric sensitivity for the purpose of generation of diverse plans close to a pareto frontier. It is shown that metric sensitive(More)
Automation in the software testing process has significant impact on the overall software development in industry. The focus of this paper is on automation of test case design via model-based testing for automotive embedded software. A new method based on an evolutionary algorithm for acquiring the necessary test model automatically from sample test cases(More)
Current planners focus on finding a single solution to a given problem. The decision maker (DM) has a choice of either finding the solution fast using a satisficing planner or finding a high quality solution using an optimal planner. The quality of the solution is evaluated in terms of a metric function given by the DM. That forces the DM to specify(More)
Automation in the software test design process has a significant impact on the software testing process and therefore also on the overall software development in the industry. The focus of this paper is on the automation of test case design via model-based testing for automotive embedded software. A method based on an evolutionary algorithm for acquiring(More)
The article presents tCF (testCaseFramework) a domain specific language with corresponding toolchain for specification-based software testing of embedded software. tCF is designed for efficient preparation of maintainable and intelligible test cases and for testing process automation, as it allows to generate platform specific test cases for various testing(More)
The focus of this paper is on automation of test case design via model-based testing for automotive embedded software. A method based on an evolutionary algorithm for acquiring the necessary test model automatically from sample test cases and additional sources of information is described. In an experiment the impact of localised mutational changes on the(More)
  • 1