Department of Artificial Intelligence and Systems Engineering
#python (1) · .NET (5) · Acceleo (1) · algorithms (1) · alloy (1) · Amazon Web Services (1) · Android application (2) · Android platform (1) · automated software test (1) · automated test generation (1) · automated test system (1) · automated testing (2) · automatic software testing (2) · automatic test (1) · Automotive (1) · automotive ECU (1) · automotive embedded system (2) · automotive industry (4) · automotive software testing (1) · automotive testing (1) · AUTOSAR (3) · branch coverage (1) · C (1) · C/C++ (1) · CAN (1) · CEGAR (1) · CI/CT (1) · cloud computing (1) · cloud development (1) · cloud services (1) · code (1) · code coverage (2) · code generation (1) · compile (1) · configuration management (1) · continuous integration (1) · coverage metrics (1) · Debian (1) · demonstrator application (1) · Distributed systems (1) · distributed tracing (1) · domain specific language (1) · Duke's Bank (1) · dynamic scaling (1) · Eclipse (1) · Eclipse Modeling Framework (1) · EE (1) · EJB (1) · electromechanical steering system (2) · embedded software (2) · embedded systems (1) · Emma (1) · engineering models (1) · Enterprise Architect (1) · equivalence partitions (1) · erlang (1) · formal methods (1) · formal verification (1) · framework (1) · functional safety (1) · functional testing (1) · graph (1) · graph metrics (1) · Graphical User Interface (1) · gui test (1) · Hardware In the Loop (1) · HIL simulation (1) · HIL testing (1) · Home Assistant (1) · Hudson (1) · integration test (1) · Integration testing (1) · I-PDU Multiplexer (1) · ISO 26262 (1) · isolation framework (1) · Java (6) · Java development (1) · Java EE (1) · Jenkins (1) · JMeter (1) · JUnit (2) · KLEE (3) · Kubernetes (1) · LabVIEW (1) · Launchpad (1) · Linux (1) · LLVM (2) · maintenance (1) · metamodel (1) · metrics (1) · microservice (1) · microservices (1) · Microsoft .NET (3) · Microsoft Pex (1) · mobile (1) · Mockito (1) · model (1) · model based testing (1) · model checking (3) · model driven engeneering (1) · model validation (1) · model-driven development (1) · modelling (3) · monitoring (1) · mqtt (1) · mutation testing (1) · MVVM (1) · network communication (1) · networking (1) · networks (1) · openHAB (1) · operating systems (1) · Packaging (1) · performance monitoring (1) · PetriDotNet 2 (1) · PHP (1) · PHP programming (1) · PHPUnit (1) · PLC (1) · PowerShell (1) · property testing (1) · Python (2) · RDS (1) · regression test optimization (2) · regression test selection (1) · regression testing (3) · Robot Operating System (1) · robotics (1) · robustness testing (1) · ROS (1) · safety critical systems (1) · safety-critical systems (1) · scalability (1) · scenario (1) · scheduler (1) · Selenium (1) · sequence diagram (2) · simulation (1) · simulator (1) · smart home (1) · smart home generative configuration (1) · smartphone (1) · software modeling (1) · software testing (13) · software verification (1) · Sonar (1) · specification (1) · specification languages (1) · statement coverage (1) · structure-based testing (1) · symbolic execution (7) · system test (1) · test (2) · test automation (2) · test coverage measurement (1) · test design (2) · test development (1) · test efficiency (1) · test framework (1) · test generation (7) · test input generation (3) · testing (26) · Ubuntu (1) · UML (2) · unit test (2) · unit testing (4) · validation (1) · web application (2) · Windows Azure (1) · Windows Phone (1) · WPF (1) · Xdebug (1) · ZMQ (1)
49 theses in total. View all theses »