Student projects. Formal Methods Group (Prof. Aichernig)
|
|
- Loren Curtis
- 8 years ago
- Views:
Transcription
1 S C I E N C E P A S S I O N T E C H N O L O G Y Student projects Formal Methods Group (Prof. Aichernig) B. K. Aichernig, F. Lorber, R. Schumi, and S. Tiran, Institute for Software Technology
2 2 Context Context Model-based testing Generate test cases from a model Different model notations (e.g. UML, contracts, timed automata,...) Functional Programming in the Internet of Things Scala, Erlang Research 1 European, 1 National research projects Academic and industrial partners Tool development & Industrial case studies
3 3 Context Current Developments SMT solving Satisfiability Modulo Theories General purpose solvers for satisfiability of a formula Usable for bounded model checking Theories correspond to data types
4 4 Context Organization 12 selected projects Most are suitable for: Bachelor Thesis, Seminar/Project Software Technology, Project (Software Development and Business Management), Master s Thesis Desired qualification: knowledge of the courses Logic and Logic Programming, Quality Assurance in Software Development, or Selected Software Technology 2 The slides can be accessed online: http: //
5 5 Project 1 Encoding transition systems with complex data structures for model-checking with SMT solvers Software models often contain complex data types like lists, sets, tuples Idea: show how those types can be encoded as SMT formulae also: show how the use of those theories scales for bigger models Just proof-of-concept: we bypass the use of a modeling language Programing language: Python (recommended), Scala
6 6 Project 2 Empirical evaluation of model-based testing tools using a comprehensive set of benchmark examples Idea: compare different model-based testing tools in terms of performance, usability of modeling notation includes literature research for examples which could be used as benchmarks
7 7 Project 3 Standard coverage vs. fault-based test case selection Idea: investigate on the relationship between standard coverage metrics and mutation testing optional: investigate which mutation operators are most powerful includes literature research for examples
8 8 Project 4 Proof-based development of test models Idea: formally develop test models from informal requirements Modeling language: Event-B Integration of our existing test case generators with Event-B
9 9 Project 5 Comparison between NuSMV and other model checking techniques Idea: Model-checking of synchronous models Translate existing models into NuSMV E.g. Car alarm system, wheel loader, railway interlocking system evaluate different bounded/symbolic model checkers
10 10 Project 6 Test case generation for large interlocking system Idea: apply model-based testing to larger industrial systems generic model of interlocking system available model real-world train station (Leobersdorf) Used language: Scala, parametrized contracts
11 11 Project 7 Test case generation for real-time systems Idea: Evaluate different (in-house) tools Compare symbolic execution to bounded model checking Transform timed-automata benchmark models to other formalisms and evaluate different tools
12 12 Project 8 Tool evaluations for models with non-functional requirements Idea: create small models with resource-based non-functional requirements like time, memory, power, throughput... find and evaluate existing tools eg. UPPAAL CORA
13 13 Project 9 Using Scala as an abstract modeling language Given existing abstract formal models in a specification language (Event-B, VDM++,...) Use Scala features to create elegant executable models Evaluation what works and what does not E.g. Nasa s propulsive backpack for EVA.
14 14 Project 10 Distributed Load Testing with Tsung Tsung is implemented in Erlang Specify protocol and tester profiles Distribute testing process and test a chosen server application.
15 15 Project 11 Controlling a Parrot drone via Embedded Erlang Existing open source project and demo (hot code swapping) Repeating the experiment and evaluation Extending the demo with cool features Automated testing the protocol of the drone
16 16 Project 12 Implementing a distributed neural network in the Actor Model. Erlang: The Unintentional Neural Network Programming Language, Gene Sher, Erlang Factory, Mar Implementation in Scala or Erlang Training and solving of a task
The Course. http://www.cse.unsw.edu.au/~cs3153/
The Course http://www.cse.unsw.edu.au/~cs3153/ Lecturers Dr Peter Höfner NICTA L5 building Prof Rob van Glabbeek NICTA L5 building Dr Ralf Huuck NICTA ATP building 2 Plan/Schedule (1) Where and When Tuesday,
More informationThe Model Checker SPIN
The Model Checker SPIN Author: Gerard J. Holzmann Presented By: Maulik Patel Outline Introduction Structure Foundation Algorithms Memory management Example/Demo SPIN-Introduction Introduction SPIN (Simple(
More informationSoftware Verification: Infinite-State Model Checking and Static Program
Software Verification: Infinite-State Model Checking and Static Program Analysis Dagstuhl Seminar 06081 February 19 24, 2006 Parosh Abdulla 1, Ahmed Bouajjani 2, and Markus Müller-Olm 3 1 Uppsala Universitet,
More informationTesting Decision Procedures for Security-by-Contract
Testing Decision Procedures for Security-by-Contract Nataliia Bielova, Ida Siahaan University of Trento Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis
More informationSchool of Computer Science
School of Computer Science Computer Science - Honours Level - 2014/15 October 2014 General degree students wishing to enter 3000- level modules and non- graduating students wishing to enter 3000- level
More informationIntroduction to Automated Testing
Introduction to Automated Testing What is Software testing? Examination of a software unit, several integrated software units or an entire software package by running it. execution based on test cases
More informationArcGIS for Server: Administrative Scripting and Automation
ArcGIS for Server: Administrative Scripting and Automation Shreyas Shinde Ranjit Iyer Esri UC 2014 Technical Workshop Agenda Introduction to server administration Command line tools ArcGIS Server Manager
More informationA Comprehensive Safety Engineering Approach for Software Intensive Systems based on STPA
www.uni-stuttgart.de A Comprehensive Safety Engineering Approach for Software Intensive Systems based on STPA STPA-based Approach STPA Safety Analysis Asim Abdulkhaleq, Ph.D Candidate Institute of Software
More informationPerformance and Load Testing For ArcGIS based systems Ian Sims and John Meza OVERVIEW What is Performance and Load Testing What is the objective Acceptance Testing Ongoing Development Areyoutheclient Want
More informationlogic language, static/dynamic models SAT solvers Verified Software Systems 1 How can we model check of a program or system?
5. LTL, CTL Last part: Alloy logic language, static/dynamic models SAT solvers Today: Temporal Logic (LTL, CTL) Verified Software Systems 1 Overview How can we model check of a program or system? Modeling
More informationSoftware Verification/Validation Methods and Tools... or Practical Formal Methods
Software Verification/Validation Methods and Tools... or Practical Formal Methods John Rushby Computer Science Laboratory SRI International Menlo Park, CA John Rushby, SR I Practical Formal Methods: 1
More informationOn the Modeling and Verification of Security-Aware and Process-Aware Information Systems
On the Modeling and Verification of Security-Aware and Process-Aware Information Systems 29 August 2011 What are workflows to us? Plans or schedules that map users or resources to tasks Such mappings may
More information25.1 Translational Frameworks (MDA with transformations)
Literature TU Dresden Fakultät für Informatik Institut für Software- und Multimediatechnik 25. From Code Frameworks to Model-Driven Architecture (MDA) and Component-Based Software Development (CBSD) Prof.
More informationSECURITY THREAT IDENTIFICATION AND TESTING FOR SECURITY PROTOCOLS
Sophia Antipolis, French Riviera 20-22 October 2015 SECURITY THREAT IDENTIFICATION AND TESTING FOR SECURITY PROTOCOLS Presented by Luca Compagna (SAP SE) (joint work with Roberto Carbone, Annibale Panichella,
More informationTools for Testing Software Architectures. Learning Objectives. Context
Tools for Testing Software Architectures Wolfgang Emmerich Professor of Distributed Computing University College London http://sse.cs.ucl.ac.uk Learning Objectives To discuss tools to validate software
More informationModel Checking based Software Verification
Model Checking based Software Verification 18.5-2006 Keijo Heljanko Keijo.Heljanko@tkk.fi Department of Computer Science and Engineering Helsinki University of Technology http://www.tcs.tkk.fi/~kepa/ 1/24
More informationFormal verification of contracts for synchronous software components using NuSMV
Formal verification of contracts for synchronous software components using NuSMV Tobias Polzer Lehrstuhl für Informatik 8 Bachelorarbeit 13.05.2014 1 / 19 Problem description and goals Problem description
More informationModel-based Test Case Generation for (Dynamic) Software Product Lines
Model-based Test Case Generation for (Dynamic) Software Product Lines The 6th Meeting on Feature-oriented Software Development 2014, May 04-07 Schloss Dagstuhl, Germany DFG Priority Programme 1593 Design
More informationPerformance Testing Process
Delivering Excellence in Software Engineering Performance Testing An introduction. 1 2 3 4 5 6 Introduction Performance Testing Process Performance Test Types Tools JMeter Questions 2 1 Introduction This
More informationTechniques and Tools for Rich Internet Applications Testing
Techniques and Tools for Rich Internet Applications Testing Domenico Amalfitano Anna Rita Fasolino Porfirio Tramontana Dipartimento di Informatica e Sistemistica University of Naples Federico II, Italy
More informationSoftware Specification and Testing
Software Specification and Testing Using UML and OCL Jonathan Milley Faculty of Engineering and Applied Science MUN St. John s, Newfoundland Email: jmilley@engr.mun.ca Dr. Dennis K. Peters Faculty of Engineering
More informationModel-based Quality Assurance of Automotive Software
Model-based Quality Assurance of Automotive Software Jan Jürjens 1, Daniel Reiss 2, David Trachtenherz 3 1 Open University (GB) and Microsoft Research (Cambridge) 2 Elektrobit (Germany) 3 TU Munich (Germany)
More informationScalability Factors of JMeter In Performance Testing Projects
Scalability Factors of JMeter In Performance Testing Projects Title Scalability Factors for JMeter In Performance Testing Projects Conference STEP-IN Conference Performance Testing 2008, PUNE Author(s)
More informationPerformance Testing. Why is important? An introduction. Why is important? Delivering Excellence in Software Engineering
Delivering Excellence in Software Engineering Performance Testing An introduction. Why is important? Why is important? 2 1 https://www.youtube.com/watch?v=8y8vqjqbqdc 3 4 2 Introduction Why is important?
More informationCut. software development. Improve defect removal efficiency while simultaneously lowering costs and shortening schedules.
Cut software development Improve defect removal efficiency while simultaneously lowering costs and shortening schedules. Introduction In his paper entitled Software Defect Origins and Removal Methods,
More informationIndustry-Driven Testing: Past, Present, and Future Activities at Simula
Industry-Driven Testing: Past, Present, and Future Activities at Simula Shaukat Ali Research Scientist Certus Software V & V Center Simula Research Lab Myself Affiliated with Simula since 2007 Have been
More informationPerformance Workload Design
Performance Workload Design The goal of this paper is to show the basic principles involved in designing a workload for performance and scalability testing. We will understand how to achieve these principles
More informationMobile Tester Foundation Course Outline
Mobile Tester Foundation Course Outline General Description This course provides testers and test managers with an understanding of test fundamentals for mobile applications. Attendees will get a brief
More informationNeue Konzepte in der Betriebsführung und Information
www.thalesgroup.com/germany Neue Konzepte in der Betriebsführung und Information 17-19 Januar 2013 Zürich, Schweiz Volkmar Heuer, Produktstrategie Leittechnik Thales Transportation Systems 2 / New Concepts
More informationEvolutionary SAT Solver (ESS)
Ninth LACCEI Latin American and Caribbean Conference (LACCEI 2011), Engineering for a Smart Planet, Innovation, Information Technology and Computational Tools for Sustainable Development, August 3-5, 2011,
More informationHow To Test Automatically
Automated Model-Based Testing of Embedded Real-Time Systems Jan Peleska jp@tzi.de University of Bremen Bieleschweig Workshop 7 2006-05-05 Outline Technologie-Zentrum Informatik Objectives Basic concepts
More informationSECTION 4 TESTING & QUALITY CONTROL
Page 1 SECTION 4 TESTING & QUALITY CONTROL TESTING METHODOLOGY & THE TESTING LIFECYCLE The stages of the Testing Life Cycle are: Requirements Analysis, Planning, Test Case Development, Test Environment
More informationSchool of Computer Science
Computer Science Honours Level 2013/14 August 2013 School of Computer Science Computer Science (CS) Modules CS3051 Software Engineering SCOTCAT Credits: 15 SCQF Level 9 Semester: 1 This module gives a
More informationVerifying Real-Time Embedded Software by Means of Automated State-based Online Testing and the SPIN Model Checker Application to RTEdge Models
Verifying Real-Time Embedded Software by Means of Automated State-based Online Testing and the SPIN Model Checker Application to RTEdge Models A thesis submitted to the Faculty of Graduate and Postdoctoral
More informationStudy Plan Masters of Science in Computer Engineering and Networks (Thesis Track)
Plan Number 2009 Study Plan Masters of Science in Computer Engineering and Networks (Thesis Track) I. General Rules and Conditions 1. This plan conforms to the regulations of the general frame of programs
More information2010-2011 Assessment for Master s Degree Program Fall 2010 - Spring 2011 Computer Science Dept. Texas A&M University - Commerce
2010-2011 Assessment for Master s Degree Program Fall 2010 - Spring 2011 Computer Science Dept. Texas A&M University - Commerce Program Objective #1 (PO1):Students will be able to demonstrate a broad knowledge
More informationChapter -5 SCALABILITY AND AVAILABILITY
Chapter -5 SCALABILITY AND AVAILABILITY 78 CHAPTER 5 Chapter - 5. Scalability and Availability S.No. Name of the Sub-Title Page No. 5.1 The importance of Scalability and Availability 79 5.2. Design Patterns
More informationPerfect Your Mobile App with Load Testing and Test Automation
Wipro & Experitest Co-webinar: Perfect Your Mobile App with Load Testing and Test Automation June 2015 Speakers Guy Arieli CTO Experitest Sudheer Mohan Director - Mobility Certification & Automation Wipro
More informationWeb of Things Architecture
Web of Things Architecture 1. Introduction This document is an explanation about the architecture of Web Of Things (WoT). The purpose of this document is to provide (a) a guideline of the mapping between
More informationContents. Chapter 1. Introduction
Contents 1. Introduction 2. Computer-System Structures 3. Operating-System Structures 4. Processes 5. Threads 6. CPU Scheduling 7. Process Synchronization 8. Deadlocks 9. Memory Management 10. Virtual
More informationMetaXSSploit. Bringing XSS in Pentesting A journey in building a security tool. Claudio Criscione @paradoxengine
` MetaXSSploit Bringing XSS in Pentesting A journey in building a security tool Claudio Criscione @paradoxengine /me No Aff XSS And how a security tool is born! Relevant? Web Application Security Statistics
More informationPerformance evaluation
Performance evaluation Arquitecturas Avanzadas de Computadores - 2547021 Departamento de Ingeniería Electrónica y de Telecomunicaciones Facultad de Ingeniería 2015-1 Bibliography and evaluation Bibliography
More informationPropulsion Gas Path Health Management Task Overview. Donald L. Simon NASA Glenn Research Center
Propulsion Gas Path Health Management Task Overview Donald L. Simon NASA Glenn Research Center Propulsion Controls and s Research Workshop December 8-10, 2009 Cleveland, OH www.nasa.gov 1 National Aeronautics
More informationArcGIS for Server Performance and Scalability: Testing Methodologies. Andrew Sakowicz, asakowicz@esri.com Frank Pizzi, fpizzi@esri.
ArcGIS for Server Performance and Scalability: Testing Methodologies Andrew Sakowicz, asakowicz@esri.com Frank Pizzi, fpizzi@esri.com Introductions Target audience - GIS, DB, System administrators - Testers
More informationLoad Balancer Comparison: a quantitative approach. a call for researchers ;)
Load Balancer Comparison: a quantitative approach a call for researchers ;) Complex Internet infrastructure high performance systems clusters grids high availability systems resilient storage resilient
More informationErlang in E-Commerce and Banking
Erlang in E-Commerce and Banking or Painless Payment Processing by Erik Stenman CTO, Kreditor Europe AB Creative Payment Solutions The business model: Kreditor Bring trust to Internet shopping. Bring old
More informationErlang Testing and Tools Survey
Erlang Training and Consulting Ltd Erlang Testing and Tools Survey Aniko Nagyné Víg and Tamás Nagy Victoria, British Columbia, Canada, 27 Sept 2008 Agenda 1 What we are doing and why Goals and tasks Market
More informationISTQB Certified Tester. Foundation Level. Sample Exam 1
ISTQB Certified Tester Foundation Level Version 2015 American Copyright Notice This document may be copied in its entirety, or extracts made, if the source is acknowledged. #1 When test cases are designed
More informationMoMuT::UML Model-based Mutation Testing for UML
MoMuT::UML Model-based Mutation Testing for UML Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl,WillibaldKrenn, Rupert Schlick and Stefan Tiran AIT Austrian Institute of Technology, Graz University
More information2. Distributed Handwriting Recognition. Abstract. 1. Introduction
XPEN: An XML Based Format for Distributed Online Handwriting Recognition A.P.Lenaghan, R.R.Malyan, School of Computing and Information Systems, Kingston University, UK {a.lenaghan,r.malyan}@kingston.ac.uk
More informationTesting Web Services: A Survey
Testing Web Services: A Survey Technical report TR-10-01 Mustafa Bozkurt, Mark Harman and Youssef Hassoun Centre for Research on Evolution, Search & Testing King s College London Strand, London WC2R 2LS,
More informationSensitivity Analysis and Patterns Implementation on Load Testing Software Systems
Sensitivity Analysis and Patterns Implementation on Load Testing Software Systems Alexandra Nagy*, George Sebastian Chiş Babeş-Bolyai University, Faculty of Economics and Business Administration, Computer
More informationRevel8or: Model Driven Capacity Planning Tool Suite
Revel8or: Model Driven Capacity Planning Tool Suite Liming Zhu 1,2, Yan Liu 1,2, Ngoc Bao Bui 1,2,Ian Gorton 3 1 Empirical Software Engineering Program, National ICT Australia Ltd. 2 School of Computer
More informationSoftware Engineering. System Models. Based on Software Engineering, 7 th Edition by Ian Sommerville
Software Engineering System Models Based on Software Engineering, 7 th Edition by Ian Sommerville Objectives To explain why the context of a system should be modeled as part of the RE process To describe
More informationCyberSecurity: Trends, Careers, & the Next Generation
CyberSecurity: Trends, Careers, & the Next Generation Ludwig Goon March 2-4, 2016 Disclaimer: The view and opinions expressed in the presentation are that of the presenter and is not affiliated with employers.
More informationMike Chyi, Micro Focus Solution Consultant May 12, 2010
Mike Chyi, Micro Focus Solution Consultant May 12, 2010 Agenda Load Testing Overview, Best Practice: Performance Testing with Diagnostics Demo (?), Q&A Load Testing Overview What is load testing? Type
More informationAgreement on. Dual Degree Master Program in Computer Science KAIST. Technische Universität Berlin
Agreement on Dual Degree Master Program in Computer Science between KAIST Department of Computer Science and Technische Universität Berlin Fakultät für Elektrotechnik und Informatik (Fakultät IV) 1 1 Subject
More informationTowards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder
Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder Matt Department of Computer Science and Engineering University of Minnesota staats@cs.umn.edu Abstract We present
More informationSystem modeling. Budapest University of Technology and Economics Department of Measurement and Information Systems
System modeling Business process modeling how to do it right Partially based on Process Anti-Patterns: How to Avoid the Common Traps of Business Process Modeling, J Koehler, J Vanhatalo, IBM Zürich, 2007.
More informationModel-based integration and testing of high-tech multi-disciplinary systems
Model-based integration and testing of high-tech multi-disciplinary systems Niels Braspenning Asia van de Mortel-Fronczak Koos Rooda Systems Engineering Group Mechanical Engineering Department Eindhoven
More informationTRACE PERFORMANCE TESTING APPROACH. Overview. Approach. Flow. Attributes
TRACE PERFORMANCE TESTING APPROACH Overview Approach Flow Attributes INTRODUCTION Software Testing Testing is not just finding out the defects. Testing is not just seeing the requirements are satisfied.
More informationAdvanced Test-Driven Development
Corporate Technology Advanced Test-Driven Development Software Engineering 2007 Hamburg, Germany Peter Zimmerer Principal Engineer Siemens AG, CT SE 1 Corporate Technology Corporate Research and Technologies
More informationEvaluation of Model-Based Testing in 3G Mobile Networks Software Development. Agile and Automated Testing Seminar 15.08.2006
Evaluation of Model-Based Testing in 3G Mobile Networks Software Development Agile and Automated Testing Seminar 15.08.2006 Agenda Introduction Tested software (Mobile Media Gateway) System Architecture
More informationAerospace Software Engineering
16.35 Aerospace Software Engineering Software Architecture The 4+1 view Patterns Prof. Kristina Lundqvist Dept. of Aero/Astro, MIT Why Care About Software Architecture? An architecture provides a vehicle
More informationSoftware testing. Objectives
Software testing cmsc435-1 Objectives To discuss the distinctions between validation testing and defect testing To describe the principles of system and component testing To describe strategies for generating
More informationDifference Between Model-Driven and Traditional Iterative Software Development
Process Implications of Model-Driven Software Development Author: Jorn Bettin Version 1.0 September 2004 Copyright 2003, 2004 SoftMetaWare Ltd. SoftMetaWare is a trademark of SoftMetaWare Ltd. All other
More informationMartin Spier, Expedia & Rex Black, J9
Martin Spier, Expedia & Rex Black, J9 Copyright 2012 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice. Leveraging HP Performance Center Martin
More informationAgile Testing (October 2011) Page 1. Learning Objectives for Agile Testing
Agile Testing (October 2011) Page 1 Learning Objectives for Agile Testing "Certification is the by-product; Learning is the product." Agile Testing should: Compare and contrast agile testing with traditional
More informationSchool of Computer Science
School of Computer Science Computer Science - Honours Level - 2015/6 - August 2015 General degree students wishing to enter 3000- level modules and non- graduating students wishing to enter 3000- level
More informationPerformance and Scalability Best Practices in ArcGIS
2013 Europe, Middle East, and Africa User Conference October 23-25, 2013 Munich, Germany Performance and Scalability Best Practices in ArcGIS Andrew Sakowicz asakowicz@esri.com Introductions Target audience
More informationTable-based Software Designs: Bounded Model Checking and Counterexample Tracking
Table-based Software Designs: Bounded Model Checking and Counterexample Tracking Noriyuki Katahira 1, Weiqiang Kong 1, Wanpeng Qian 1, Masahiko Watanabe 2, Tetsuro Katayama 3, Akira Fukuda 4 1 Fukuoka
More informationhttps://runtimeverification.com Grigore Rosu Founder, President and CEO Professor of Computer Science, University of Illinois
https://runtimeverification.com Grigore Rosu Founder, President and CEO Professor of Computer Science, University of Illinois Runtime Verification, Inc. (RV): startup company aimed at bringing the best
More informationTesting the Internet of Things
Presentation to TMF Testing the Internet of Things Test and Verification Solutions Delivering Tailored Solutions for Hardware Verification and Software Testing What is the IoT? Wikipedia The Internet of
More informationModel-Driven Software Development for Robotics: an overview
Model-Driven Software Development for Robotics: an overview IEEE-ICRA2011 Workshop on Software Development and Integration in Robotics Jan F. Broenink, Maarten M. Bezemer Control Engineering, University
More informationKrishna Markande, Principal Architect Sridhar Murthy, Senior Architect. Unleashing the Potential of Cloud for Performance Testing
Krishna Markande, Principal Architect Sridhar Murthy, Senior Architect Unleashing the Potential of Cloud for Performance Testing 1 Agenda Software testing and Performance testing overview Leveraging cloud
More informationSoftware Modeling and Verification
Software Modeling and Verification Alessandro Aldini DiSBeF - Sezione STI University of Urbino Carlo Bo Italy 3-4 February 2015 Algorithmic verification Correctness problem Is the software/hardware system
More informationPart I. Introduction
Part I. Introduction In the development of modern vehicles, the infotainment system [54] belongs to the innovative area. In comparison to the conventional areas such as the motor, body construction and
More informationAgile Test Automation. James Bach, Satisfice, Inc. James@satisfice.com www.satisfice.com
Agile Test Automation James Bach, Satisfice, Inc. James@satisfice.com www.satisfice.com Examples of Agile Automation CD test system (300% improvement in CD package testing throughput in two weeks) Auction
More informationREGULATIONS FOR THE DEGREE OF MASTER OF SCIENCE IN COMPUTER SCIENCE (MSc[CompSc])
305 REGULATIONS FOR THE DEGREE OF MASTER OF SCIENCE IN COMPUTER SCIENCE (MSc[CompSc]) (See also General Regulations) Any publication based on work approved for a higher degree should contain a reference
More informationCloud9 Parallel Symbolic Execution for Automated Real-World Software Testing
Cloud9 Parallel Symbolic Execution for Automated Real-World Software Testing Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea School of Computer and Communication Sciences Automated Software Testing
More informationTowards Collaborative Requirements Engineering Tool for ERP product customization
Towards Collaborative Requirements Engineering Tool for ERP product customization Boban Celebic, Ruth Breu, Michael Felderer, Florian Häser Institute of Computer Science, University of Innsbruck 6020 Innsbruck,
More informationAU TO M AT E D G U I T E S T I N G O F L OW- R E S O U R C E E M B E D D E D S Y S T E M S
AU TO M AT E D G U I T E S T I N G O F L OW- R E S O U R C E E M B E D D E D S Y S T E M S B Y J E S P E R G A A R S D A L 2 0 1 2 0 1 7 0 0 JACOB EMBORG SØNDERSKOV 2 0 0 8 2 6 7 5 M A S T E R S T H E
More informationOffice Automation. Industrial Automation. Information Technology and Automation Systems in Industrial Applications. Product Development.
Information Technology and Automation Systems in Industrial Suppliers Customers Corporate Office Automation Product Development Sales and Customer Services Finance Industrial Automation Main Focus in our
More informationAutomatic Verification of the TLS HandShake Protocol
Automatic Verification of the TLS HandShake Protocol Gregorio Díaz, Fernando Cuartero, Valentín Valero and Fernando Pelayo Formal Methods Concurrency Research Group University of Castilla-La Mancha Campus
More informationEnhanced System Integration Test Automation Tool (E-SITAT) Author: Akshat Sharma
Enhanced System Integration Test Automation Tool (E-SITAT) Author: Akshat Sharma c o n t e n t s Enhanced System Integration Test Automation Tool (E-SITAT) 1. Overview... 3 2. Use of E-SITAT for Automation...
More informationFormal Verification Toolkit for Requirements and Early Design Stages
Formal Verification Toolkit for Requirements and Early Design Stages Julia M. Badger 1 and Sheena Judson Miller 2 1 NASA Johnson Space Center, Houston, TX 77058, USA 2 Barrios Technology, Houston, TX 77058,
More informationPerformance Analysis of RAIDs in Storage Area Network
Performance Analysis of RAIDs in Storage Area Network Sneha M. Assistant Professor, Department of Computer Science and Engineering, R V College of Engineering Bengaluru-560059 ABSTRACT Direct Attached
More informationResource Provisioning in Clouds via Non-Functional Requirements
Resource Provisioning in Clouds via Non-Functional Requirements By Diana Carolina Barreto Arias Under the supervision of Professor Rajkumar Buyya and Dr. Rodrigo N. Calheiros A minor project thesis submitted
More informationIBM EXAM - C2180-373. IBM WebSphere Business Monitor V6.2 Solution Development. http://www.examskey.com/c2180-373.html
IBM EXAM - C2180-373 IBM WebSphere Business Monitor V6.2 Solution Development TYPE: DEMO http://www.examskey.com/c2180-373.html Examskey IBM C2180-373 exam demo product is here for you to test the quality
More informationSecond year review WP2 overview SW-based Method. Trento - October 17th, 2008
Second year review WP2 overview SW-based Method Trento - October 17th, 2008 1 Goal To investigate software-only methodologies for remote entrusting implementation 2 Tasks D2.3 D2.4 M0 M3 M6 M9 M12 M15
More informationReal Time Programming: Concepts
Real Time Programming: Concepts Radek Pelánek Plan at first we will study basic concepts related to real time programming then we will have a look at specific programming languages and study how they realize
More informationNon-Functional Requirements
IBM Software Group Non-Functional Requirements Peter Eeles peter.eeles@uk.ibm.com Agenda IBM Software Group Rational software Definitions Types of requirement Classifying requirements Capturing NFRs Summary
More informationSharon Strause 9/10/2010. 15 years with the
Manage Software Development, Testing, and Validation Presented by Sharon Strause, Senior Consultant EduQuest, Inc. IVT s Computer and Software Validation EU Conference The Hilton Dublin Dublin, Ireland
More informationIntroducing Formal Methods. Software Engineering and Formal Methods
Introducing Formal Methods Formal Methods for Software Specification and Analysis: An Overview 1 Software Engineering and Formal Methods Every Software engineering methodology is based on a recommended
More informationOnline and Scalable Data Validation in Advanced Metering Infrastructures
Online and Scalable Data Validation in Advanced Metering Infrastructures Chalmers University of technology Agenda 1. Problem statement 2. Preliminaries Data Streaming 3. Streaming-based Data Validation
More informationTUNNA. A tool designed to bypass firewall restrictions on remote webservers. By: Rodrigo Marcos Nikos Vassakis
TUNNA A tool designed to bypass firewall restrictions on remote webservers By: Rodrigo Marcos Nikos Vassakis Web Applications What a User sees Web Applications What a Penetration Tester sees 80/443 Firewall
More informationVALLIAMMAI ENGINEERING COLLEGE S.R.M. Nagar, Kattankulathur DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING
VALLIAMMAI ENGINEERING COLLEGE S.R.M. Nagar, Kattankulathur DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING Sub Code : CP7007 Sub Name: SOFTWARE REQUIREMENTS ENGINEERING Branch / Year : ME CSE / I Year
More informationContents. 1. Technical Communication 2. Technical Communicators 3.
In a nutshell Contents 1. Technical Communication 2. Technical Communicators 3. A. Introduction B. Benefits C. Business outcomes D. Syllabus and extensions E. Exams F. Partner Program G. Contacts ITCQF
More informationCapacity planning for IBM Power Systems using LPAR2RRD. www.lpar2rrd.com www.stor2rrd.com
Capacity planning for IBM Power Systems using LPAR2RRD Agenda LPAR2RRD and STOR2RRD basic introduction Capacity Planning practical view CPU Capacity Planning LPAR2RRD Premium features Future STOR2RRD quick
More informationChapter 4 Software Lifecycle and Performance Analysis
Chapter 4 Software Lifecycle and Performance Analysis This chapter is aimed at illustrating performance modeling and analysis issues within the software lifecycle. After having introduced software and
More information