Automotive transmission systems are difficult to test and validate, due to the complex interaction of mechanics, hydraulics, electronics, and transmission control software. The tight interaction among an ever increasing amount of software functions and hardware subsystems leads to a new kind of complexity that is difficult to manage during mechatronic design. System tests have to consider huge ...

Three approaches to the problem of testing synchronous data-flow programs written in LUSTRE are presented. LUSTRE is a language well-adapted to both the specification and the development of reactive software. The first approach automatically transforms a set of LUSTRE invariant properties characterizing the environment of the reactive program into a constrained random generator of test data seq...

Purpose: The aim of the current study was to investigate the effectiveness of schema therapy and mindfulness based cognitive therapy on the rate of using negative automatic thoughts in women with major depression in Mashhad. Participants were 36 depressed women clients, randomly selected and randomly designated to 3 groups (two experimental group and control group). Materials and method: This s...

Artificial intelligence (AI) techniques are successfully applied in various phases of software development life cycle. One of the most significant and innovative AI applications is using constraint-based techniques for automation of software testing. Testing is nowadays the primary way to improve the reliability of software. Software testing accounts for about 50% of the total cost of software ...

Generating high quality test suites for arbitrary software is a highly discussed topic in software engineering contexts. Many different test generation strategies exist but the resulting tests might be of varying quality. Usage based test generation focuses on the software parts which are actively used by users. This way, the user-visible functionality is ensured to be of high quality. Current ...

Software testing is probably the most complex task in the software development cycle. It is one of the most time-consuming and frustrating process. The complexity of software systems has been increasing dramatically in the past decade, and software testing as a labour-intensive component is becoming more and more expensive. With the complexity of the software, the cost of testing software is al...

Manual testing is hard and time consuming and it maybe impossible for large systems or tester mistake in the test. The software testing is the rising cost of activities in development software and the test case generation is important activity in software testing. Hence researches performed to automate testing such as automatic test case generation. This paper reports a survey of recent researc...