openQA Life is Too Short for Manual Testing Richard Brown Technical Lead - openQA

Source URL: www.susecon.com

• Computer architecture
• System software
• SUSE Linux
• Computing
• OpenSUSE
• Suse
• Linux
• SUSE Linux Enterprise Desktop
• OpenSUSE version history

DeepState: Symbolic Unit Testing for C and C++ Peter Goodman Alex Groce Trail of Bits, Inc.

Source URL: www.trailofbits.com

• Software testing
• Software engineering
• Computing
• Software development
• Symbolic execution
• Test automation
• Differential testing
• Unit testing
• Fuzzing
• Random testing
• KeY
• Test harness

Python Testing with pytest

Source URL: media.pragprog.com

• Computing
• Software engineering
• Computer programming
• Scripting languages
• Compiling tools
• Windows Task Scheduler
• Apache Ant
• Test
• Python
• The Pragmatic Programmer

Testing Extensible Language Debuggers Domenik Pavletic Syed Aoun Raza Kolja Dummann

Source URL: mbeddr.com

• Debugging
• Computer programming
• Debuggers
• Software
• Breakpoint
• Program animation
• Programming tool
• Extensible programming

ELECTION NOTICE FOR USE WITH THE FEDERAL WRITE-IN ABSENTEE BALLOT (FWAB) R.CIssued by the Testing County Board of Elections BOE to check one:

Source URL: meigs.ohioboe.com

• Elections
• Write-in candidate
• Precinct

The 2018 ICT Accessibility Testing Symposium: Provisional Program

Source URL: www.ictaccessibilitytesting.org

• Web accessibility
• Design
• Urban planning
• Humancomputer interaction
• Web Content Accessibility Guidelines
• Web Accessibility Initiative
• Accessibility
• Computer accessibility
• Section 508 Amendment to the Rehabilitation Act
• WebAIM

Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract

Source URL: smt-workshop.cs.uiowa.edu

• Software testing
• Theoretical computer science
• Software engineering
• Satisfiability modulo theories
• Solver
• Test automation
• Fuzzing
• Application programming interface
• Model-based testing
• API testing

Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena

Source URL: rjoshi.org

• Software testing
• Software engineering
• Computing
• Quality
• Fault injection
• Software verification
• Reliability engineering
• Formal verification
• Flash memory
• Software quality
• Stress testing
• Exception handling

Systematic Testing for Resource Leaks in Android Applications Dacong Yan Shengqian Yang

Source URL: dacongy.github.io

GRADUATE SEMINAR Olusesan Ogunsanya Hypothesis testing for three main Reliability models MSc Student supervised by Andrei Volodin Wednesday, April 4th

Source URL: www.uregina.ca