Force Open: Lightweight Black Box File Repair

Model-Driven Engineering in Digital Forensics. Jeroen van den Bos with Tijs van der Storm and Leon Aronson

Model-Driven Engineering in Digital Forensics Jeroen van den Bos (jeroen@infuse.org) with Tijs van der Storm and Leon Aronson Contents Digital forensics MDE in forensics Domain-specific optimizations Conclusion

Bytes are read Right to Left, so = 0x3412, = 0x

Practice - Quiz #5 CIST 2612 Computer Forensics Bitmap File Information Bytes are read Right to Left, so 12 34 = 0x3412, 12 34 56 70 = 0x70563412 Figure 1 - Bitmap File Header Figure 2 - Device Independent

DERRIC. Model-Driven Engineering in Digital Forensics. Jeroen van den Bos

DERRIC Model-Driven Engineering in Digital Forensics Jeroen van den Bos jeroen@infuse.org DERRIC Model-Driven Engineering in Digital Forensics Experience: Jeroen van den Bos jeroen@infuse.org 1998: software

Dissecting Files. Endianness. So Many Bytes. Big Endian vs. Little Endian. Example Number. The "proper" order of things. Week 6

Dissecting Files Endianness Week 6 The "proper" order of things So Many Bytes So Many Bytes On a 32-bit system, each word consists of 4 bytes So, when any 32-bit value is stored in memory, each of those

Orifice Flow Meter

Research Collection. Systematic Testing of Tor. Master Thesis. ETH Library. Author(s): Lazzari, Marco. Publication Date: 2014

Research Collection Master Thesis Systematic Testing of Tor Author(s): Lazzari, Marco Publication Date: 2014 Permanent Link: https://doi.org/10.3929/ethz-a-010144381 Rights / License: In Copyright - Non-Commercial

A Short Introduction to PDF

A Short Introduction to PDF Peter Fischer, ZITI, Uni Heidelberg 1 pdf vs. Postscript pdf describes graphics, text & document structure It uses vector graphics, very similar to postscript Some differences

Receipt Gallery. Receipt Gallery Instructions. Page 1 of 11

Page 1 of 11 Receipt Gallery The Receipt Gallery is accessible from the main menu (via the ereceipts button) and the Add Expenses panel and contains all the emailed receipt images sent to receipt@chromefile.com,

Photo Gallery. Photo Gallery. Photo Gallery Name. Photo Gallery Body Text. Images. Image Title. Page 1 of 5

Name Body Text Images Image Page 1 of 5 Create a New To create a new, sign into your website. Navigate to Structure Taxonomy Image Galleries Add Term. Name Description Name Name of the gallery. Description

Program Testing and Analysis: Manual Testing Prof. Dr. Michael Pradel Software Lab, TU Darmstadt

Program Testing and Analysis: Manual Testing Prof. Dr. Michael Pradel Software Lab, TU Darmstadt Partly based on slides from Peter Müller, ETH Zurich 1 Warm-up Quiz What does the following code print?

Common File Formats. Need a standard to store images Raster data Photos Synthetic renderings. Vector Graphic Illustrations Fonts

1 Image Files Common File Formats Need a standard to store images Raster data Photos Synthetic renderings Vector Graphic Illustrations Fonts Bitmap Format - Center for Graphics and Geometric Computing,

This is not yellow. Image Files - Center for Graphics and Geometric Computing, Technion 2

1 Image Files This is not yellow Image Files - Center for Graphics and Geometric Computing, Technion 2 Common File Formats Need a standard to store images Raster data Photos Synthetic renderings Vector

Introduction. Collecting, Searching and Sorting evidence. File Storage

Collecting, Searching and Sorting evidence Introduction Recovering data is the first step in analyzing an investigation s data Recent studies: big volume of data Each suspect in a criminal case: 5 hard

COMPILER DESIGN - CODE OPTIMIZATION

COMPILER DESIGN - CODE OPTIMIZATION http://www.tutorialspoint.com/compiler_design/compiler_design_code_optimization.htm Copyright tutorialspoint.com Optimization is a program transformation technique,

CSE 123: Computer Networks

Student Name: PID: UCSD email: CSE 123: Computer Networks Homework 1 Solution (Due 10/12 in class) Total Points: 30 Instructions: Turn in a physical copy at the beginning of the class on 10/10. Problems:

TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection

2010 IEEE Symposium on Security and Privacy TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection Tielei Wang 1,2, Tao Wei 1,2, Guofei Gu 3, Wei Zou 1,2 1 Key

Testing: Test design and testing process

Testing: Test design and testing process Zoltán Micskei Based on István Majzik s slides Dept. of Measurement and Information Systems Budapest University of Technology and Economics Department of Measurement

PurePNG Documentation

PurePNG Documentation Release 0.3.0 Pavel Zlatovratskii 2017-11-10 Contents 1 What is PurePNG? 3 1.1 Comparison to other PNG tools................................... 3 1.2 Installation..............................................

Runtime Integrity Checking for Exploit Mitigation on Embedded Devices

Runtime Integrity Checking for Exploit Mitigation on Embedded Devices Matthias Neugschwandtner IBM Research, Zurich eug@zurich.ibm.com Collin Mulliner Northeastern University, Boston collin@mulliner.org

Steps for Building a Process Builder to work with Visual Workflow

Steps for Building a Process Builder to work with Visual Workflow Planning : Before building any further, we drafted a design in order to determine what elements were required for the solution. The diagram

Public comments on this W3C Recommendation are welcome. Please send them to the archived list

Portable Network Graphics (PNG) Specification (Second Edition) Information technology Computer graphics and image processing Portable Network Graphics (PNG): Functional specification. ISO/IEC 15948:2003

Automatically Identifying Critical Input Regions and Code in Applications

Automatically Identifying Critical Input Regions and Code in Applications Michael Carbin MIT CSAIL, MIT EECS Cambridge, Massachusetts, USA mcarbin@csail.mit.edu Martin Rinard MIT CSAIL, MIT EECS Cambridge,

Motivation was to facilitate development of systems software, especially OS development.

A History Lesson C Basics 1 Development of language by Dennis Ritchie at Bell Labs culminated in the C language in 1972. Motivation was to facilitate development of systems software, especially OS development.

Semi-valid Input Coverage for Fuzz Testing

This is the author s version of the work. It is posted here for your personal use. Not for redistribution. The definitive version was published in the proceedings of ISSTA 2013, Semi-valid Input Coverage

Member of the ams Group

Cambridge CMOS Sensors is now Member of the ams Group The technical content of this Cambridge CMOS Sensors (CCS) document is still valid. Contact information: Headquarters: ams AG Tobelbader Strasse 30

Malware

reloaded Malware Research Team @ @xabiugarte Motivation Design principles / architecture Features Use cases Future work Dynamic Binary Instrumentation Techniques to trace the execution of a binary (or

Analysis of MS Multiple Excel Vulnerabilities

Analysis of MS-07-036 Multiple Excel Vulnerabilities I. Introduction This research was conducted using the Office 2003 Excel Viewer application and the corresponding security patch for MS-07-036 - Vulnerabilities

Introduction Mapping the ELF Pinpointing Fragmentation Evaluation Conclusion. Bin-Carver. Automatic Recovery of Binary Executable Files

Bin-Carver Automatic Recovery of Binary Executable Files Scott Hand, Zhiqiang Lin, Guofei Gu*, Bhavani Thuraisingham Department of Computer Science, The University of Texas at Dallas *Deparment of Computer

Lecture 15 Software Testing

Lecture 15 Software Testing Includes slides from the companion website for Sommerville, Software Engineering, 10/e. Pearson Higher Education, 2016. All rights reserved. Used with permission. Topics covered

Software Testing. Lecturer: Sebastian Coope Ashton Building, Room G.18

Lecturer: Sebastian Coope Ashton Building, Room G.18 E-mail: coopes@liverpool.ac.uk COMP 201 web-page: http://www.csc.liv.ac.uk/~coopes/comp201 Software Testing 1 Defect Testing Defect testing involves

The Assembly Language Level. Chapter 7

The Assembly Language Level Chapter 7 Definitions Translator Converts user program to another language Source language Language of original program Target language Language into which source code is converted

Communication Protocol Manual JOFRA CTC, ITC, MTC, ETC and Compact Copyright 2008 AMETEK Denmark A/S

Communication Protocol Manual JOFRA CTC, ITC, MTC, ETC and Compact Copyright 2008 AMETEK Denmark A/S Contents 1 Introduction...5 2 Protocol...5 2.1 Variables...5 2.2 Telegram structure...6 2.3 Packing

HUAWEI TECHNOLOGIES CO., LTD. Huawei FireHunter6000 series

HUAWEI TECHNOLOGIES CO., LTD. Huawei 6000 series Huawei 6000 series can detect APT (Advanced Persistent Threat) attacks, which altogether exploit multiple techniques (including zero-day vulnerabilities

Improving the Efficiency of Fuzz Testing Using Checkpointing

Research Collection Master Thesis Improving the Efficiency of Fuzz Testing Using Checkpointing Author(s): Zachow, Ernst-Friedrich Publication Date: 2014 Permanent Link: https://doi.org/10.3929/ethz-a-010144446

How to Sandbox IIS Automatically without 0 False Positive and Negative

How to Sandbox IIS Automatically without 0 False Positive and Negative Professor Tzi-cker Chiueh Computer Science Department Stony Brook University chiueh@cs.sunysb.edu 1/10/06 Blackhat Federal 2006 1

Automated Adaptive Bug Isolation using Dyninst. Piramanayagam Arumuga Nainar, Prof. Ben Liblit University of Wisconsin-Madison

Automated Adaptive Bug Isolation using Dyninst Piramanayagam Arumuga Nainar, Prof. Ben Liblit University of Wisconsin-Madison Cooperative Bug Isolation (CBI) ++branch_17[p!= 0]; if (p) else Predicates

NAME optipng optimize Portable Network Graphics files. SYNOPSIS optipng [? h help] optipng [options...] files...

NAME optipng optimize Portable Network Graphics files SYNOPSIS optipng [? h help] optipng [options...] files... DESCRIPTION OptiPNG shall attempt to optimize PNG files, i.e. reduce their size to a minimum,

555 Timer Pin Configuration Pdf Download ->>> DOWNLOAD

555 Timer Pin Configuration Pdf Download ->>> DOWNLOAD 1 / 5 2 / 5 Summary,PDF,Book:,Timer,Ic,555,Circuit,Diagram,.The,555-Timer,&,Pulse,Width,Modulation,.,of,a,55 5,Timer,in,Astable,Multivibrator,configuration,both,.,is,attached,to,the,555-timer,chips,pin,3,.The,,,75

Jeff Nothwehr National Drought Mitigation Center University of Nebraska-Lincoln

Using Multiprocessing in Python to Decrease Map Production Time Jeff Nothwehr National Drought Mitigation Center University of Nebraska-Lincoln Overview About multi-processing How it works Implementation

Instrumental Documentation

Instrumental Documentation Release 0.5.1 Matthew J Desmarais February 08, 2016 Contents 1 Introduction 3 1.1 What is instrumental?.......................................... 3 1.2 What s the problem?...........................................

NI-CAN 2.6 Error/Warning Codes

NI-CAN 2.6 Error/Warning Codes Decimal Value Hexadecimal Description Value -1074388991 BFF62001 The timeout of a wait or notification function expired before any desired state occurred. Solutions: Increase

Hacettepe University Computer Engineering Department. Programming in. BBM103 Introduction to Programming Lab 1 Week 4. Fall 2018

Hacettepe University Computer Engineering Department Programming in BBM103 Introduction to Programming Lab 1 Week 4 Fall 2018 Install PyCharm Download Link : https://www.jetbrains.com/pycharm-edu/download/#section=windows

Scriptable Markdown pretty-printing with GraalVM

Scriptable Markdown pretty-printing with GraalVM Pascal Maissen pascal.maissen@unifr.ch 20.11.2018 Seminar Software Composition, University of Bern Motivation Implement a pretty printer for markdown in

Digital Forensics Lecture 3 - Reverse Engineering

Digital Forensics Lecture 3 - Reverse Engineering Low-Level Software Akbar S. Namin Texas Tech University Spring 2017 Reverse Engineering High-Level Software Low-level aspects of software are often the

Features & Functionalities

Features & Functionalities Release 3.0 www.capture-experts.com Import FEATURES Processing TIF CSV EML Text Clean-up Email HTML ZIP TXT Merge Documents Convert to TIF PST RTF PPT XLS Text Recognition Barcode

Re-implementing git. (a small part at least) Thibault Allançon November 2018

Re-implementing git (a small part at least) Thibault Allançon November 2018 1 Motivation Learning git inner workings «What I cannot create, I do not understand» Richard Feynman 2 Motivation Learning git

Chapter 1 (Computer Forensics)

Final Study Guide Chapter 1 (Computer Forensics) CIST2612 Final will be given Sunday the 22 from 10:30 to 12:30 22 nd of May nd of Understanding Computer forensics {pages 2-3} Computer forensics involves

Chapter 5: Ethernet. Introduction to Networks - R&S 6.0. Cisco Networking Academy. Mind Wide Open

Chapter 5: Ethernet Introduction to Networks - R&S 6.0 Cisco Networking Academy Mind Wide Open Chapter 5 - Sections 5.1 Ethernet Protocol Describe the Ethernet MAC address and frame fields 5.2 LAN Switches

BROWSE FILE TO ATTACH

Add Images You can attach images to an expense while you are creating it or after it has been created. Images may be uploaded directly through the application or emailed from your device. Only JPG, PDF,

Memory & Thread Debugger

Memory & Thread Debugger Here is What Will Be Covered Overview Memory/Thread analysis New Features Deep dive into debugger integrations Demo Call to action Intel Confidential 2 Analysis Tools for Diagnosis

CSC148, Lab #4. General rules. Overview. Tracing recursion. Greatest Common Denominator GCD

CSC148, Lab #4 This document contains the instructions for lab number 4 in CSC148H. To earn your lab mark, you must actively participate in the lab. We mark you in order to ensure a serious attempt at

Maxoid: Transparently Confining Mobile Applications with Custom Views of State

Maxoid: Transparently Confining Mobile Applications with Custom Views of State Yuanzhong Xu and Emmett Witchel University of Texas at Austin 4/24/2015 Bordeaux, France Focus of this work Security problems:

Visualize ComplexCities

Introduction to Python Chair of Information Architecture ETH Zürich February 22, 2013 First Steps Python Basics Conditionals Statements Loops User Input Functions Programming? Programming is the interaction

HUNTRON WORKSTATION REMOTE CONTROL

HUNTRON WORKSTATION REMOTE CONTROL Contents Overview...2 Huntron Remote Sample Application...4 Setup Tab...4 Scan Tab...6 Prober Tab...8 Align Tab... 10 Huntron Remote Pin Down Sample Application... 12

Predicting the Types of File Fragments

Predicting the Types of File Fragments William C. Calhoun and Drue Coles Department of Mathematics, Computer Science and Statistics Bloomsburg, University of Pennsylvania Bloomsburg, PA 17815 Thanks to

age = 23 age = age + 1 data types Integers Floating-point numbers Strings Booleans loosely typed age = In my 20s

Intro to Python Python Getting increasingly more common Designed to have intuitive and lightweight syntax In this class, we will be using Python 3.x Python 2.x is still very popular, and the differences

Runtime Checking and Test Case Generation for Python

Runtime Checking and Test Case Generation for Python Anna Durrer Master Thesis Chair of Programming Methodology D-INFK ETH Supervisor: Marco Eilers, Prof. Peter Müller 24. Mai 2017 1 Introduction This

semidbm Documentation

semidbm Documentation Release 0.4.0 James Saryerwinnie Jr September 04, 2013 CONTENTS i ii semidbm is a pure python implementation of a dbm, which is essentially a persistent key value store. It allows

DOWNLOAD OR READ : WINDOWS 7 FOR THE OVER 50S IN SIMPLE STEPS PDF EBOOK EPUB MOBI

DOWNLOAD OR READ : WINDOWS 7 FOR THE OVER 50S IN SIMPLE STEPS PDF EBOOK EPUB MOBI Page 1 Page 2 windows 7 for the over 50s in simple steps windows 7 for the pdf windows 7 for the over 50s in simple steps

Reference Counting. Reference counting: a way to know whether a record has other users

Garbage Collection Today: various garbage collection strategies; basic ideas: Allocate until we run out of space; then try to free stuff Invariant: only the PL implementation (runtime system) knows about

(Printer HP LaserJet Pro Model (M125a

(Printer HP LaserJet Pro Model (M125a (Measured using ISO/IEC 24734, excludes first set of test documents. For more Normal: Up to 20 ppm Print speed black: Print, copy, scan information see hp.com/products1/iso/mmdpp/index.html.

PdP Modeling with FAMOS Architect Tips & Tricks

PdP Modeling with FAMOS Architect Tips & Tricks 2013 Symposium: Managing Plant Assets and Performance Clearwater Beach, Florida August 6-9, 2013 July, 2013 Jim Herzau, Scientech Topics Covered Quick Review

Text Input and Conditionals

Text Input and Conditionals Text Input Many programs allow the user to enter information, like a username and password. Python makes taking input from the user seamless with a single line of code: input()

Adobe Fireworks CS Essential Techniques

Adobe Fireworks CS4 HOW-TOs 100 Essential Techniques Jim Babbage 170 Adding Structure to # 79 Your Documents Creating a Master Page You can only have one Master Page per file, and you can easily set any

Guide Swish QR Code specification

Version 1.6 Guide Swish QR Code specification Integration Guide Datum: 2017/07/07 Table of content 1 Introduction... 3 2 Payment flows... 3 2.1 Swish C2B flow with QR code... 3 3 Create QR code via getswish.se...

FW UPGRADE SPECIFICATION

1 (10) FW UPGRADE SPECIFICATION SCA10H Doc. No.1326 Rev. 3 2 (10) Table of Contents 1 Programming With the Bootloader... 3 1.1 Introduction... 3 1.2 FW Upgrade Mode Entry Sequence... 3 1.3 UART Protocol...

Generating Low-Overhead Dynamic Binary Translators. Mathias Payer and Thomas R. Gross Department of Computer Science ETH Zürich

Generating Low-Overhead Dynamic Binary Translators Mathias Payer and Thomas R. Gross Department of Computer Science ETH Zürich Motivation Binary Translation (BT) well known technique for late transformations

mith College Computer Science Week 10 CSC111 Spring 2015 Dominique Thiébaut

mith College Computer Science Week 10 CSC111 Spring 2015 Dominique Thiébaut dthiebaut@smith.edu Next Few Lectures Image Processing with Nested For-Loops Lists can be Used to Solve Many Problems (Chap.

TDSPTD Protocol Trigger and Decode Application Online Help

xx ZZZ TDSPTD Protocol Trigger and Decode Application Online Help *P077002502* 077-0025-02 ZZZ TDSPTD Protocol Trigger and Decode Application Online Help www.tektronix.com 077-0025-02 Copyright Tektronix.

CM0340 Tutorial 2: More MATLAB

CM0340 Tutorial 2: More MATLAB Last tutorial focussed on MATLAB Matrices (Arrays) and vectors which are fundamental to how MATLAB operates in its key application areas including Multimedia data processing

End-Point Counter-Worm Mechanism Using Automated Software Patching. Angelos Keromytis Columbia University

End-Point Counter-Worm Mechanism Using Automated Software Patching Angelos Keromytis Columbia University angelos@cs.columbia.edu Summary End-network architecture for protecting network services against

Automated Signature Generation: Overview and the NoAH Approach. Bernhard Tellenbach

Automated Signature Generation: Overview and the NoAH Approach Structure Motivation: The speed of insecurity Overview Building Blocks and Techniques The NoAH approach 2 The speed of insecurity Source:

JRA1 Telescope: NI Flex RIO DAQ Labview Telescope DAQ demonstration software overview

JRA1 Telescope: NI Flex RIO DAQ Labview Telescope DAQ demonstration software overview G. Claus 1, Mathieu Goffe 1, Kimmo Jaaskelainen 1, Cayetano Santos 1, Matthieu Specht 1 January 17, 2011 Abstract The

Network Forensics Prefix Hijacking Theory Prefix Hijacking Forensics Concluding Remarks. Network Forensics:

Network Forensics: Network OS Fingerprinting Prefix Hijacking Analysis Scott Hand September 30 th, 2011 Outline 1 Network Forensics Introduction OS Fingerprinting 2 Prefix Hijacking Theory BGP Background

Skip Lists: Motivation

CSE 100: SKIP LISTS Announcements Please fill out the end of year survey and CAPEs https://wwwsurveymonkeycom/s/qfzpmt2 Please remove print statements to standard output when submitting your PA4 assignment

CodeXt: Automatic Extraction of Obfuscated Attack Code from Memory Dump

CodeXt: Automatic Extraction of Obfuscated Attack Code from Memory Dump Ryan Farley and Xinyuan Wang George Mason University Information Security, the 17 th International Conference ISC 2014, Hong Kong

Motivation was to facilitate development of systems software, especially OS development.

A History Lesson C Basics 1 Development of language by Dennis Ritchie at Bell Labs culminated in the C language in 1972. Motivation was to facilitate development of systems software, especially OS development.

Office Adapters for Quark Publishing Platform

Office Adapters for Quark Publishing Platform Contents Getting started... 1 About Quark Publishing Platform...1 System requirements... 3 Installing the Office Adapters for Quark Publishing Platform...

Static Analysis and Bugfinding

Static Analysis and Bugfinding Alex Kantchelian 09/12/2011 Last week we talked about runtime checking methods: tools for detecting vulnerabilities being exploited in deployment. So far, these tools have

CSCE 145 Exam 1 Review. This exam totals to 100 points. Follow the instructions. Good luck!

CSCE 145 Exam 1 Review This exam totals to 100 points. Follow the instructions. Good luck! Chapter 1 This chapter was mostly terms so expect a fill in the blank style questions on definition. Remember

MethodHandlesArrayElementGetterBench.testCreate Analysis. Copyright 2016, Oracle and/or its affiliates. All rights reserved.

MethodHandlesArrayElementGetterBench.testCreate Analysis Overview Benchmark : nom.indy.methodhandlesarrayelementgetterbench.testcreate Results with JDK8 (ops/us) JDK8 Intel 234 T8 T8 with -XX:FreqInlineSize=325

smap a Simple Measurement and Actuation Profile for Physical Information

smap a Simple Measurement and Actuation Profile for Physical Information S.Dawson-Haggerty, X.Jiang, G.Tolle, J.Ortiz, D.Culler Computer Science Division, University of California, Berkeley Presentation

Black-box Testing Techniques

T-76.5613 Software Testing and Quality Assurance Lecture 4, 20.9.2006 Black-box Testing Techniques SoberIT Black-box test case design techniques Basic techniques Equivalence partitioning Boundary value

E Copyright VARAN BUS USER ORGANIZATION 06/2015. Real Time Ethernet VARAN Bus

8100000100-E Copyright BUS USER ORGANIZATION 06/2015 Real Time Ethernet Bus - Versatile Automation Random Access Network The bus system meets all requirements of a modern industry network optimized for

NX-API Developer Sandbox

About the, on page 1 Guidelines and Restrictions for the Developer Sandbox, on page 2 Enabling and Accessing the Developer Sandbox, on page 2 Configuring the Message Format and Command Type, on page 3

Managing Workflows. Starting Prime Network Administration CHAPTER

CHAPTER 10 Prime Network Administration can be used to manage deployed workflow templates. Topics include: Starting Prime Network Administration, page 10-1 Viewing the List of Templates and Template Properties,

Building a Reactive Immune System for Software Services

Building a Reactive Immune System for Software Services Tobias Haupt January 24, 2007 Abstract In this article I summarize the ideas and concepts of the paper Building a Reactive Immune System for Software

WebDocs Release Notes

Copyright 2016 by Data Management Internationale'. All rights reserved. Table of Contents... 3 Resolved Issues... 4 What is new in this version?... 6 New Features... 7 Page 3 Resolved Issues The following

Something Impressive

1 Welcome A Basic Tutorial Introduction to Using Something Impressive A Slide Show Tool By Stan Reichardt stanr@sluug.org August 2009 2 First Slide show a presentation or display of images, graphics, photos

DOWNLOAD OR READ : WHAT TO DO IN COLUMBUS OHIO PDF EBOOK EPUB MOBI

DOWNLOAD OR READ : WHAT TO DO IN COLUMBUS OHIO PDF EBOOK EPUB MOBI Page 1 Page 2 what to do in columbus ohio what to do in pdf what to do in columbus ohio What you need to convert a DO file to a PDF file

2.5. PA QA Software. NISP, NI-SCS Test Readiness Review IPNL, October

2.5. PA QA Software NISP, NI-SCS Test Readiness Review IPNL, October 2016 1 1) PA QA SW approach IPNL DASEIT Acquisition Data DASEIN Quality- Checking HDF5 PA PA PA QA NISP, NI-SCS Test Readiness Review

Release notes for version 2.8.1

Release notes for version 2.8.1 This release is a cumulative update for patches 2.8.0.x with a few new transformations and functions. What s new New transformations Pivot transformation creates a matrix

Lightweight Memory Tracing

Lightweight Memory Tracing Mathias Payer*, Enrico Kravina, Thomas Gross Department of Computer Science ETH Zürich, Switzerland * now at UC Berkeley Memory Tracing via Memlets Execute code (memlets) for

KNIME workflow with the reporting functionality manual

KNIME workflow with the reporting functionality manual Molecular Profiling Research Center for Drug Discovery (MolProf), AIST 2015/06/29 Contents 1. KNIME reporting... 1 1.1. PhylogeneticTree_SOAP workflow

LabVIEW Simplifies Viewing of Very Large Text Files

LabVIEW Simplifies Viewing of Very Large Text Files Author Benjamin A. Rayner, Senior Automation Systems Architect, Data Science Automation, Inc. NI Products Used LabVIEW 2014 Category Energy Industrial

Compiler Design Spring 2018

Compiler Design Spring 2018 Thomas R. Gross Computer Science Department ETH Zurich, Switzerland 1 Logistics Lecture Tuesdays: 10:15 11:55 Thursdays: 10:15 -- 11:55 In ETF E1 Recitation Announced later

Testing Methods: White Box Testing II

Testing Methods: White Box Testing II Outline Today we continue our look at white box testing with more code coverage methods, and a data coverage method We ll look at : - code coverage testing - decision

The Go Programming Language. Frank Roberts

The Go Programming Language Frank Roberts frank.roberts@uky.edu - C++ (1983), Java (1995), Python (1991): not modern - Java is 18 years old; how has computing changed in 10? - multi/many core - web programming

Verification and Validation. Assuring that a software system meets a user s needs. Verification vs Validation. The V & V Process

Verification and Validation Assuring that a software system meets a user s needs Ian Sommerville 1995/2000 (Modified by Spiros Mancoridis 1999) Software Engineering, 6th edition. Chapters 19,20 Slide 1

Info Input Express Network Edition

Info Input Express Network Edition User s Guide A-61893 Table of Contents Using Info Input Express to Create and Retrieve Documents... 5 Compatibility... 5 Contents of this Guide... 5 Terminology... 7