Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Eduard Paul Enoiu 24 träffar

Titel Författare År Språk
1 A Runtime Verification based Concurrency Bug Detector for FreeRTOS Embedded Software ISPDC 2018. Geneva 25 June 2018 through 28 June 2018. Code 139156 17th International Symposium on Parallel and Distributed Computing Sara Abbaspour Asadollah 2018 Engelska
2 ViTAL - <em></em>A Verification Tool for EAST-ADL Models using UPPAAL PORT ICECCS 2012; Paris; 18 July 2012 through 20 July 2012 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems 2012 Engelska
3 Can Pairwise Testing Perform Comparably to Manually Handcrafted Testing Carried Out by Industrial Engineers? 25 July 2017 through 29 July 2017 QRS-C 2017 Reliability and Security Companion 2017 IEEE International Conference on Software Quality Peter Charbachi 2017 Engelska
4 A Controlled Experiment in Testing of Safety-Critical Embedded Software 10 April 2016 through 15 April 2016 ICST 2016 Verification and Validation 9th IEEE International Conference on Software Testing Eduard Paul Enoiu 2016 Engelska
5 Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL France Montpellier 8-10 Jul 2015 IEEE Computer Society Annual Symposium on VLSI ISVLSI Raluca Marinescu 2015 Engelska
6 Towards the Analysis and Verification of EAST-ADL Models using UPPAAL PORT Eduard Paul Enoiu 2012 Engelska
7 An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models Finland Finland Turku 01 Nov 2017 29th Nordic Workshop on Programming Theory NWPT'17 Raluca Marinescu 2017 Engelska
8 Extending EAST-ADL for modeling and analysis of system's resource-usage COMPSACW 2012; Izmir; 16 July 2012 through 20 July 2012 36th Annual IEEE International Computer Software and Applications Conference Workshops Raluca Marinescu 2012 Engelska
9 A Comparative Study of Manual and Automated Testing for Industrial Control Software ICST 2017; Tokyo; Japan; 13 March 2017 through 17 March 2017 Verification and Validation 10th IEEE International Conference on Software Testing Eduard Paul Enoiu 2017 Engelska
10 MOS - An Integrated Model-based and Search-based Testing Tool for Function Block Diagrams USA California San Francisco 20th May 2013. In conjunction with ICSE 2013 First International Workshop on Combining Modelling and Search-Based Software Engineering Eduard Paul Enoiu 2013 Engelska
11 Improving Continuous Integration with Similarity-based Test Case Selection Sweden Gothenburg 28 May 2018 13th IEEE/ACM International Workshop on Automation of Software Test AST'18 Francisco Gomes de Oliveira Neto 2018 Engelska
12 Enablers and impediments for collaborative research in software testing - An empirical exploration 16 September 2014 through 16 September 2014 WISE 2014 - Co-located with ASE 2014 2014 ACM International Workshop on Long-Term Industrial Collaboration on Software Engineering Eduard Paul Enoiu 2014 Engelska
13 Combinatorial modeling and test case generation for industrial control software using ACTS 16 July 2018 through 20 July 2018 QRS 2018 and Security Reliability 18th IEEE International Conference on Software Quality Sara Ericsson 2018 Engelska
14 From Modeling to Test Case Generation in the Industrial Embedded System Domain France Toulouse 28 Jun 2018 First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems MDE@DeRun Aliya Hussain 2018 Engelska
15 Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software 13 March 2017 through 17 March 2017 ICSTW 2017 Verification and Validation Workshops 10th IEEE International Conference on Software Testing Henning Bergström 2017 Engelska
16 From natural language requirements to passive test cases using guarded assertions 16 July 2018 through 20 July 2018 QRS 2018 and Security Reliability 18th IEEE International Conference on Software Quality Daniel Flemström 2018 Engelska
17 Automatic Test Generation for Energy Consumption of Embedded Systems Modeled in EAST-ADL 13 March 2017 through 17 March 2017 ICSTW 2017 Verification and Validation Workshops 10th IEEE International Conference on Software Testing Raluca Marinescu 2017 Engelska
18 Model-based test suite generation for function block diagrams using the UPPAAL model checker Luxembourg 18 March 2013 through 20 March 2013 ICSTW 2013 Verification and Validation Workshops IEEE 6th International Conference on Software Testing Eduard Paul Enoiu 2013 Engelska
19 Mutation-Based Test Generation for PLC Embedded Software using Model Checking ICTSS 2016; Graz; Austria; 17 October 2016 through 19 October 2016; Code 185379 28th IFIP WG 6.1 International Conference on Testing Software and Systems Eduard Paul Enoiu 2016 Engelska
20 Requirements-Level Reuse Recommendation and Prioritization of Product Line Assets Muhammad Abbas 2021 Engelska

1 2 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.