| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kevin Hammond |
Why Parallel Functional Programming Matters: Panel Statement.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed Aoun Raza, Stefan Franke, Erhard Ploedereder |
Detecting High-Level Synchronization Errors in Parallel Programs. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Saez, Silvia Terrasa, Alfons Crespo |
A Real-Time Framework for Multiprocessor Platforms Using Ada 2012. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rigoberto Chil, Diego Alonso, Francisco J. Ortiz, Juan A. Pastor |
Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Les Hatton |
On the Evolution of Unnatural Language. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns |
Programming Languages for Real-Time Applications Executing on Parallel Hardware. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjoy K. Baruah, Alan Burns |
Implementing Mixed Criticality Systems in Ada. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Rosen |
Object Orientation in Critical Systems: Yes, in Moderation - Position Paper for the DO178C and Object-Orientation for Critical Systems Panel. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Erhard Ploedereder |
Programming Languages Meet Multicore. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Coq, Jean-Pierre Rosen |
The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Romanovsky, Tullio Vardanega (eds.) |
Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ángel Esquinas, Juan Zamorano, Juan Antonio de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo |
ORK+/XtratuM: An Open Partitioning Platform for Ada. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Eilers, Tero Koskinen |
Adapting ACATS to the Ahven Testing Framework. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey O'Leary |
Assuring Software Reliability While Using Web Services and Commercial Products. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario |
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dewi Daniels |
Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Tucker Taft |
Multicore Programming in ParaSail - Parallel Specification and Implementation Language. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Johnsen, Kristina Lundqvist |
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio L. Medina, Alvaro Garcia Cuesta |
Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Iago Rodríguez-López, Marisol García-Valls |
Architecting a Common Bridge Abstraction over Different Middleware Paradigms. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Chapman, Trevor Jennings |
OOT, DO-178C and SPARK. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabien Chouteau, José F. Ruiz |
Design and Implementation of a Ravenscar Extension for Multiprocessors. |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Andersson, Luís Miguel Pinho |
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Albertos, Alfons Crespo, José E. Simó, Adel Fernández |
Control Co-design: Algorithms and Their Implementation. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick J. Graydon, John C. Knight, Xiang Yin |
Practical Limits on Software Dependability: A Case Study. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Mezzetti, Marco Panunzio, Tullio Vardanega |
Preservation of Timing Properties with the Ada Ravenscar Profile. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Real, Tullio Vardanega (eds.) |
Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy J. Wellings, Alan Burns |
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Sparre Andersen |
An Efficient Implementation of Persistent Objects. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod White |
Using Hardware Support for Scheduling with Ada. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Saez, Alfons Crespo |
Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmond Schonberg |
Towards Ada 2012: An Interim Report. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Burns, Andy J. Wellings |
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan A. Pastor, Diego Alonso, Pedro Sánchez, Bárbara Álvarez |
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Sangorrín, Michael González Harbour, Héctor Pérez, J. Javier Gutiérrez |
Managing Transactions in Flexible Distributed Real-Time Systems. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Brito, Jorge Sousa Pinto |
Program Verification in SPARK and ACSL: A Comparative Case Study. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Theodore P. Baker |
What to Make of Multicore Processors for Reliable Real-Time Systems? |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin M. Brosgol |
A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Mezzetti, Adam Betts, José Ruiz, Tullio Vardanega |
Cache-Aware Development of High-Integrity Systems. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Keul |
Static Versioning of Global State for Race Condition Detection. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia López Martínez, Laura Barros, José M. Drake |
Scheduling Configuration of Real-Time Component-Based Applications. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger |
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco J. Montoya-Dato, José Luis Fernández Alemán, Ginés García-Mateos |
An Experience on Ada Programming Using On-Line Judging. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
e-learning, Programming, assessment |
| 1 | Mario Aldea Rivas, Michael González Harbour, José F. Ruiz |
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time Systems, Compilers, POSIX, Ada 2005 |
| 1 | Eric Le Pors, Olivier Grisvard |
Conceptual Modeling for System Requirements Enhancement. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
conceptual modeling, requirements, complex systems, System engineering |
| 1 | Alessandro Zovi, Tullio Vardanega |
Requirements on the Target Programming Language for High-Integrity MDE. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat |
Formal Verification of AADL Specifications in the Topcased Environment. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Amine Marref, Guillem Bernat |
Predicated Worst-Case Execution-Time Analysis. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Delange, Laurent Pautet, Peter H. Feiler |
Validating Safety and Security Requirements for Partitioned Architectures. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Yvon Kermarrec (eds.) |
Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Liliana Favre |
A Formal Foundation for Metamodeling. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
Meta Object Facility (MOF), Formal specification, Model Driven Architecture (MDA), Transformation (QVT), Metamodeling, Query, View |
| 1 | Claude Kaiser, Jean-François Pradat-Peyre |
Weak Fairness Semantic Drawbacks in Java Multithreading. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Choppy, Olivier Bertrand, Patrice Carle |
Coloured Petri Nets for Chronicle Recognition. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
chronicle recognition formal modelling, distributed simulation processing, coloured Petri nets |
| 1 | Sergio Saez, Silvia Terrasa, Vicente Lorente Garcés, Alfons Crespo |
Implementing Reactive Systems with UML State Machines and Ada 2005. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
Behavioral State Machines, Embedded Systems, Code Generation, Reactive Systems, Ada 2005 |
| 1 | Lei Pi, Jean-Paul Bodeveix, Mamoun Filali |
Modeling AADL Data Communication with BIP. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | José L. Fernández-Sánchez, Gloria Mármol Acitores |
Modelling and Evaluating Real-Time Software Architectures. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Buchs, Levi Lucio, Ang Chen |
Model Checking Techniques for Test Generation from Business Process Models. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
System design and verification, Higher-level Nets, Algebraic Petri Nets, Decisions Diagrams, State Space Generation |
| 1 | Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente |
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
distributed systems, real-time systems, Ada 2005, high-integrity systems, Ravenscar profile |
| 1 | Alan Burns, Andy J. Wellings, Fengxiang Zhang |
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Lasnier, Bechir Zalila, Laurent Pautet, Jérôme Hugues |
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Sokolsky, Insup Lee, Duncan Clarke |
Process-Algebraic Interpretation of AADL Models. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Man Fai Lau, Yuen-Tak Yu |
On Comparing Testing Criteria for Logical Decisions. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
condition coverage, condition/decision coverage, control flow criteria, decision coverage, modified condition/ decision coverage (MC/DC), software testing, Boolean expression |
| 1 | Claude Evéquoz |
Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
Concurrent queue, load-linked/store-conditional (LL/SC), lock-free, compare-and-swap (CAS), non-blocking |
| 1 | Sri Hari Krishna Narayanan, Mahmut T. Kandemir |
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Iulian Ober, Nicolas Halbwachs |
On the Timed Automata-Based Verification of Ravenscar Systems. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen |
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Héctor Pérez, J. Javier Gutiérrez, Daniel Sangorrín, Michael González Harbour |
Real-Time Distribution Middleware from the Ada Perspective. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
RT-CORBA, Ada DSA, performance, communications, real-time, distribution middleware |
| 1 | Marco Di Natale |
Design and Development of Component-Based Embedded Systems for Automotive Applications. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin M. Brosgol |
A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Singhoff, Alain Plantec, Pierre Dissaux |
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Irfan Hamid, Elie Najm |
Operational Semantics of Ada Ravenscar. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert G. Pettit IV |
Increasing Confidence in Concurrent Software through Architectural Analysis. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Choppy, Laure Petrucci, Gianna Reggio |
A Modelling Approach with Coloured Petri Nets. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
coloured Petri nets, modular design, modelling method, specification method |
| 1 | Fabrice Kordon, Tullio Vardanega (eds.) |
Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings |
Ada-Europe |
2008 |
DBLP BibTeX RDF |
|
| 1 | Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente |
A New Approach to Memory Partitioning in On-Board Spacecraft Software. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
Ravenscar Ada, integrated modular avionics, embedded systems, hard real-time, high-integrity |
| 1 | Florian Villoing, Emmanuel Briot |
A Type-Safe Database Interface. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia López Martínez, José M. Drake, Pablo Pacheco, Julio L. Medina |
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
Component-based technology, OMG standards, embedded systems, realtime, Ada 2005 |
| 1 | Raul Fechete, Georg Kienesberger, Johann Blieberger |
A Framework for CFG-Based Static Program Analysis of Ada Programs. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Bordin, Thanassis Tsiodras, Maxime Perrotin |
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
Model-driven Integration, High-Integrity Systems, Automated Code Generation |
| 1 | Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre |
Concurrent Program Metrics Drawn by Quasar. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Aoun Raza, Gunther Vogel |
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Alonso, Cristina Vicente-Chicote, Juan A. Pastor, Bárbara Álvarez |
StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
Model-To-Text Transformation, Thread-Safe Code Generation, Eclipse platform, Finite State Machines, Model-Driven Engineering |
| 1 | Laura Carnevali, Leonardo Grassi, Enrico Vicario |
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
concurrent real-time systems, V-Model, preemptive Time Petri Nets, formal methods, state space analysis |
| 1 | Nabil Abdennadher, Fabrice Kordon (eds.) |
Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings |
Ada-Europe |
2007 |
DBLP BibTeX RDF |
|
| 1 | Frank Singhoff, Alain Plantec |
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
Ada code generating, Cheddar, Platypus, Meta-modeling |
| 1 | Matteo Bordin, Tullio Vardanega |
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
Model-Driven Architecture, Metamodelling, Correctness by construction, Ravenscar Profile |
| 1 | Bechir Zalila, Irfan Hamid, Jérôme Hugues, Laurent Pautet |
Generating Distributed High Integrity Applications from Their Architectural Description. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | W. K. Chan, Tsong Yueh Chen, S. C. Cheung, T. H. Tse, Zhenyu Zhang |
Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
WSN application, Wireless sensor network, software testing, power awareness, test automation, test oracle, metamorphic testing |
| 1 | Andy J. Wellings, Alan Burns |
Real-Time Utilities for Ada 2005. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Panunzio, Tullio Vardanega |
A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nourchène Elleuch, Adel Khalfallah, Samir Ben Ahmed |
ArchMDE Approach for the Development of Embedded Real Time Systems. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
TURTLE, Model Transformation, Meta-model, Architectural Style, MDE, Embedded Real Time System |
| 1 | José Antonio Pulido, Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente |
Handling Temporal Faults in Ada 2005. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Alonso, Cristina Vicente-Chicote, Pedro Sánchez, Bárbara Álvarez, Fernando Losilla |
Automatic Ada Code Generation Using a Model-Driven Engineering Approach. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Aldea Rivas, José F. Ruiz |
Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Compilers, POSIX, Ada 2005 |
| 1 | Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières |
Enhancing Dependability of Component-Based Systems. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco García-Rodríguez, Javier Miranda, José Fortes Gálvez |
Incorporating Precise Garbage Collection in an Ada Compiler. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaled Barbaria, Jérôme Hugues, Laurent Pautet |
Design and Performance of a Generic Consensus Component for Critical Distributed Applications. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro R. Mosteo, Luis Montano |
Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
GNAT GPL, multi-robot, Ada 2005, control architecture |
| 1 | Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre |
Modelling Remote Concurrency with Ada. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Man Fai Lau, Ying Liu, Tsong Yueh Chen, Yuen-Tak Yu |
On Detecting Double Literal Faults in Boolean Expressions. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
Test case generation, Black-box testing, Fault-based testing, Boolean specification |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")