Automation and evaluation

Xem 1-5 trên 5 kết quả Automation and evaluation

Summary of Mathematical Doctoral Thesis: Some improvements of string contraint solving in automated test cases generation for symbolic execution

The research objective: To study the methods used to modeling constraints and improve constraint solving capability. To apply symbolic execution technique in automatic test case generating. To implement proposed methods in automatic test case generating on string constraints and mixed constraints. To analyze and evaluate the obtained results.

27p extraenglish 24-05-2021 18 5 Download

Summary of doctoral thesis: Some improvements of string contraint solving in automated test cases generation for symbolic execution

This thesis aims to research on overview of automatic test case generating, symbolic execution applied into automatic test case generating. The modeling techniques based on Automata and Bitvector are also studied in this thesis. Apart from that, the analysis and evaluation of available test case generating methods on different constraint are mentioned. The quality and effectiveness of test cases generated by using symbolic execution are assessed.

27p capheviahe27 23-02-2021 41 4 Download

Lecture Chapter 8: Evaluating alternatives for, requirements, environment and implementation

Lecture "Chapter 8: Evaluating alternatives for, requirements, environment and implementation" provides students with the knowledge: Project management perspective, deciding on scope and level of automation, determining the level of automation, selecting alternatives, defining the application deployment environment,... Invite you to consult.

6p doinhugiobay_04 27-11-2015 65 4 Download
Quantitative evaluation of motor function before and after engraftment of dopaminergic neurons in a rat model of Parkinson's disease

Abstract Although gait change is considered a useful indicator of severity in animal models of Parkinson's disease, systematic and extensive gait analysis in animal models of neurological deficits is not well established. The CatWalk-assisted automated gait analysis system provides a comprehensive way to assess a number of dynamic and static gait parameters simultaneously. In this study, we used the Catwalk system to investigate changes in gait parameters in adult rats with unilateral 6-OHDA-induced lesions and the...

10p toshiba23 18-11-2011 53 7 Download
Hardware Acceleration of EDA Algorithms- P11

Hardware Acceleration of EDA Algorithms- P11: Single-threaded software applications have ceased to see significant gains in performance on a general-purpose CPU, even with further scaling in very large scale integration (VLSI) technology. This is a significant problem for electronic design automation (EDA) applications, since the design complexity of VLSI integrated circuits (ICs) is continuously growing.

7p xmen246 28-09-2010 90 4 Download