-
Automatic Detection and Removal of Ineffective Mutants for the Mutation Analysis of Relational Database Schemas
British Library Online Contents | 2019 -
Smart Bound Selection for the Verification of UML/OCL Class Diagrams
British Library Online Contents | 2019 -
Automatic Generation of Tests to Exploit XML Injection Vulnerabilities in Web Applications
British Library Online Contents | 2019 -
Automatically Exploring Tradeoffs Between Software Output Fidelity and Energy Costs
British Library Online Contents | 2019 -
Design-level performance prediction of component-based applications
British Library Online Contents | 2019| -
Detecting Trivial Mutant Equivalences via Compiler Optimisations
British Library Online Contents | 2018| -
Predicting Delivery Capability in Iterative Software Development
British Library Online Contents | 2018| -
Expanding Queries for Code Search Using Semantically Related API Class-names
British Library Online Contents | 2018 -
Coordination Challenges in Large-Scale Software Development: A Case Study of Planning Misalignment in Hybrid Settings
British Library Online Contents | 2018 -
A Theoretical and Empirical Study of Diversity-Aware Mutation Adequacy Criterion
British Library Online Contents | 2018 -
MSeer—An Advanced Technique for Locating Multiple Bugs in Parallel
British Library Online Contents | 2019| -
Predicting Future Developer Behavior in the IDE Using Topic Models
British Library Online Contents | 2018 -
Coordination Challenges in Large-Scale Software Development: A Case Study of Planning Misalignment in Hybrid Settings
British Library Online Contents | 2018 -
The Good, the Bad and the Ugly: A Study of Security Decisions in a Cyber-Physical Systems Game
British Library Online Contents | 2019
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.