TAILIEUCHUNG - Engineering doctoral thesis: Automatic regression testing for Lustre/SCADE applications

More precisely, the topic "Automatic regression testing for Lustre/SCADE applications" has been selected for this thesis to contribute to the development and application in software industry, software testing in general as well as regression testing in particular and particularly regression testing for the reactive systems - an approach that promises to deliver high effectiveness in software quality assurance. | Engineering doctoral thesis: Automatic regression testing for Lustre/SCADE applications MINISTRY OF EDUCATION & TRAINING THE UNIVERSITY OF DANANG --- --- TRINH CONG DUY AUTOMATIC REGRESSION TESTING FOR LUSTRE/SCADE APPLICATIONS ENGINEERING DOCTORAL THESIS Da Nang, 8/2018 MINISTRY OF EDUCATION & TRAINING THE UNIVERSITY OF DANANG --- --- TRINH CONG DUY AUTOMATIC REGRESSION TESTING FOR LUSTRE/SCADE APPLICATIONS Major: Computer Science Code of Major: 62 48 01 01 ENGINEERING DOCTORAL THESIS Supervisors: Assoc. Prof. Dr. Nguyen Thanh Binh Prof. Dr. Ioannis Parissis . Da Nang, 8/2018 REASSURANCES I hereby certify this thesis done by my work, under the guidance of Assoc. Prof. Dr. Nguyen Thanh Binh and Prof. Dr. Ioannis Parissis. I certify that the research results presented in the thesis are true and are not copied from any other documents. All quotations are recorded clearly and completely. PhD. Student Trinh Cong Duy -i- TABLE OF CONTENTS REASSURANCESi TABLE OF CONTENTS .i ACRONYMS iv LIST OF TABLES v LIST OF FIGURES .vi INTRODUCTION . 1 1. Context and Motivation 1 2. Goals, Objectives and Scope of the Research 3 3. .

• Thạc sĩ - Tiến sĩ - Cao học
• Computer Science
• Engineering doctoral thesis
• Automatic regression testing
• Lustre SCADE applications
• Doctoral thesis
• Engineering Department
• Computer Scienc
• Feaculty of Computer Science
• remove the median element
• computer architecture
• computer engineering
• PhD thesis Computer science and technology
• Optical communication
• Computer science and electronic engineering
• Computer science and technology
• Detection optical OFDM system
• Optical OFDM
• Computer Literacy
• Lecture Computer literacy
• Introduction to computers
• Computer applications
• Computer Networks
• Computer Ethics
• Journal of technology and science education
• Making Capstone project a holistic learning experience
• Students of undergraduate computer science engineering program
• Undergraduate computer science engineering programs
• The stakeholders like companies
• Computer science using Java
• Programming using Java
• Java programming
• Object Oriented Programming
• Computer organization
• Quantum computer science
• Quantum computer science: An introduction
• Quantum computer
• Circuit diagrams
• Number theoretic preliminaries
• Quantum error correction
• transaction processing
• database
• information management
• computer tricks
• computer skills
• informatics reference materials
• computer software
• computer science advanced
• teaching computer science
• programming C
• Transferring images
• Luận văn Thạc sĩ
• Tóm tắt luận văn Thạc sĩ
• Quản trị kinh doanh
• Summary of dissertation Computer science
• Distributed virtual host system
• Deadlock prevention
• Resource allocation
• Abstract Windowing Toolkit
• Mouse events
• Java packages
• Application programmer interface
• Layout managers
• UML notation
• Counting digits
• Counting digits in Java
• Sequential files
• Wrapper classes
• Program elements
• OutputBox class
• Data types
• Fundamental data types of Java