Search

Your search keyword '"Vos, Tanja"' showing total 420 results
Start Over Author "Vos, Tanja"

Refine your results

more »

more »

more »

more »
420 results on '"Vos, Tanja"'

208. Symbolic search-based testing

Author

Baars, Arthur, primary, Harman, Mark, additional, Hassoun, Youssef, additional, Lakhotia, Kiran, additional, McMinn, Phil, additional, Tonella, Paolo, additional, and Vos, Tanja, additional

Published
2011
Full Text
View/download PDF

211. Future Internet Testing with FITTEST

Author

Vos, Tanja E. J., primary, Tonella, Paolo, additional, Wegener, Joachim, additional, Harman, Mark, additional, Prasetya, Wishnu, additional, Puoskari, Elisa, additional, and Nir–Buchbinder, Yarden, additional

Published
2011
Full Text
View/download PDF

219. The OMG UML Testing Profile in Use--An Industrial Case Study for the Future Internet Testing.

Author

Bagnato, Alessandra, Sadovykh, Andrey, Brosse, Etienne, and Vos, Tanja E.J.

Abstract

The EU funded FITTEST FP7 project aims to address the Future Internet (FI) testing challenges. FITTEST will be integrated in three pilot applications provided by three industrial partners, IBM, Sulake and Soft am. This paper presents the Modelio SaaS product and case study context selected by Soft am as FITTEST Project industrial application and the usage of the Object Management Group (OMG) UML Testing Profile module. In the paper, researchers present the advanced software engineering methods proposed by FITTEST and the usage of the OMG UML Testing Profile (UTP) in a real industrial environment within Soft am Modelio SaaS. [ABSTRACT FROM PUBLISHER]

Published
2013
Full Text
View/download PDF

220. GUITest: a Java library for fully automated GUI robustness testing.

Author

Bauersfeld, Sebastian and Vos, Tanja E. J.

Abstract

Graphical User Interfaces (GUIs) are substantial parts of today's applications, no matter whether these run on tablets, smartphones or desktop platforms. Since the GUI is often the only component that humans interact with, it demands for thorough testing to ensure an efficient and satisfactory user experience. Being the glue between almost all of an application's components, GUIs also lend themselves for system level testing. However, GUI testing is inherently difficult and often involves great manual labor, even with modern tools which promise automation. This paper introduces a Java library called GUITest, which allows to generate fully automated GUI robustness tests for complex applications, without the need to manually generate models or input sequences. We will explain how it operates and present first results on its applicability and effectivity during a test involving Microsoft Word. [ABSTRACT FROM PUBLISHER]

Published
2012
Full Text
View/download PDF

222. Using a Functional Size Measurement Procedure to Evaluate the Quality of Models in MDD Environments.

Author

MARĺN, BEATRIZ, GIACHETTI, GIOVANNI, PASTOR, OSCAR, VOS, TANJA E. J., and ABRAN, ALAIN

Subjects
MODEL-driven software architecture, COMPUTER software development, COMPUTER simulation, SOFTWARE engineering, COMPUTER science
Abstract

Models are key artifacts in Model-Driven Development (MDD) methods. To produce high-quality software by using MDD methods, quality assurance of models is of paramount importance. To evaluate the quality of models, defect detection is considered a suitable approach and is usually applied using reading techniques. However, these reading techniques have limitations and constraints, and new techniques are required to improve the efficiency at finding as many defects as possible. This article presents a case study that has been carried out to evaluate the use of a Functional Size Measurement (FSM) procedure in the detection of defects in models of an MDD environment. To do this, we compare the defects and the defect types found by an inspection group with the defects and the defect types found by the FSM procedure. The results indicate that the FSM is useful since it finds all the defects related to a specific defect type, it finds different defect types than an inspection group, and it finds defects related to the correctness and the consistency of the models. [ABSTRACT FROM AUTHOR]

Published
2013
Full Text
View/download PDF

223. Evolutionary functional black-box testing in an industrial setting.

Author

Vos, Tanja, Lindlar, Felix, Wilmes, Benjamin, Windisch, Andreas, Baars, Arthur, Kruse, Peter, Gross, Hamilton, and Wegener, Joachim

Subjects
EVOLUTIONARY computation, COMPUTER software quality control, ARTIFICIAL neural networks, EVOLUTIONARY algorithms, COMPUTER networks, SCALABILITY
Abstract

During the past years, evolutionary testing research has reported encouraging results for automated functional (i.e. black-box) testing. However, despite promising results, these techniques have hardly been applied to complex, real-world systems and as such, little is known about their scalability, applicability, and acceptability in industry. In this paper, we describe the empirical setup used to study the use of evolutionary functional testing in industry through two case studies, drawn from serial production development environments at Daimler and Berner & Mattner Systemtechnik, respectively. Results of the case studies are presented, and research questions are assessed based on them. In summary, the results indicate that evolutionary functional testing in an industrial setting is both scalable and applicable. However, the creation of fitness functions is time-consuming. Although in some cases, this is compensated by the results, it is still a significant factor preventing functional evolutionary testing from more widespread use in industry. [ABSTRACT FROM AUTHOR]

Published
2013
Full Text
View/download PDF

224. Delta GUI change detection using inferred models.

Author

Pastor Ricós, Fernando, Marín, Beatriz, Vos, Tanja E.J., Neeft, Rick, and Aho, Pekka

Subjects
*COMPUTER software management, *COMPUTER software quality control, *COMPUTER software developers, *GRAPHICAL user interfaces, *DATABASES
Abstract

Recent software development methodologies emphasize iterative and incremental evolution to align with stakeholders' needs. This perpetual and rapid software evolution demands ongoing research into verification practices and technologies that ensure swift responsiveness and effective management of software delta increments. Strategies such as code review have been widely adopted for development and verification, ensuring readability and consistency in the delta increments of software projects. However, the integration of techniques to detect and visually report delta changes within the Graphical User Interface (GUI) software applications remains an underutilized process. In this paper, we set out to achieve two objectives. First, we aim to conduct a comprehensive review of existing studies concerning GUI change detection in desktop, web, and mobile applications to recognize common practices. Second, we introduce a novel change detection tool capable of highlighting delta GUI changes for this diverse range of applications. To accomplish our first objective, we performed a systematic mapping of the literature using the Scopus database. To address the second objective, we designed and developed a GUI change detection tool. This tool simultaneously transits and compares state models inferred by a scriptless testing tool, enabling the detection and highlighting of GUI changes to detect the widgets or functionalities that have been added, removed, or modified. Our study reveals the existence of a multitude of techniques for change detection in specific GUI systems with different objectives. However, there is no widely adopted technique suitable for the diverse range of existing desktop, web, and mobile applications. Our tool and findings demonstrate the effectiveness of using inferred state models to highlight between 8 and 20 GUI changes in software delta increments containing a large number of changes over months and between 4 and 6 GUI changes in delta increments of small iterations performed over multiple weeks. Moreover, some of these changes were recognized by the software developers as GUI failures that required a fix. Finally, we expose the motivation for using this technique to help developers and testers analyze GUI changes to validate delta increments and detect potential GUI failures, thereby fostering knowledge dissemination and paving the way to standard practices. • Swift verification practices are crucial for evolving software. • Delta GUI change detection can help to enhance software quality assurance. • Lack of delta GUI change detection techniques for the diverse range of GUI applications. • A novel tool that compares state models to detect and highlight GUI changes. • An empirical study demonstrates the delta GUI change detection effectiveness. [ABSTRACT FROM AUTHOR]

Published
2025
Full Text
View/download PDF

225. Aplib: Tactical Agents for Testing Computer Games

Author

Prasetya, Wishnu, Dastani, Mehdi, Prada, Rui, Vos, Tanja E. J., Dignum, Frank, and Kifetew, Fitsum

Subjects
automated game testing, AI for automated testing, intelligent agent programming, intelligent agents for testing, agents tactical programming, GeneralLiterature_MISCELLANEOUS
Abstract

Modern interactive software, such as computer games, employ complex user interfaces. Although these user interfaces make the games attractive andpowerful, unfortunately they also make them extremely difficult to test. Not onlydo we have to deal with their functional complexity, but also the fine grained interactivity of their user interface blows up their interaction space, so that traditional automated testing techniques have trouble handling it. An agent-based testing approach offers an alternative solution: agents’ goal driven planning, adaptivity, andreasoning ability can provide an extra edge towards effective navigation in complex interaction space. This paper presents aplib, a Java library for programmingintelligent test agents, featuring novel tactical programming as an abstract wayto exert control over agents’ underlying reasoning-based behavior. This type ofcontrol is suitable for programming testing tasks. Aplib is implemented in such away to provide the fluency of a Domain Specific Language (DSL). Its embeddedDSL approach also means that aplib programmers will get all the advantages thatJava programmers get: rich language features and a whole array of developmenttools.

226. N-Gram Based Test Sequence Generation from Finite State Models

Author

Tonella, Paolo, Tiella, Roberto, Nguyen, Cu D., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Vos, Tanja E.J., editor, Lakhotia, Kiran, editor, and Bauersfeld, Sebastian, editor

Published
2014
Full Text
View/download PDF

227. T3, a Combinator-Based Random Testing Tool for Java: Benchmarking

Author

Prasetya, I. S. Wishnu B., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Vos, Tanja E.J., editor, Lakhotia, Kiran, editor, and Bauersfeld, Sebastian, editor

Published
2014
Full Text
View/download PDF

228. EvoSuite at the Second Unit Testing Tool Competition

Author

Fraser, Gordon, Arcuri, Andrea, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Vos, Tanja E.J., editor, Lakhotia, Kiran, editor, and Bauersfeld, Sebastian, editor

Published
2014
Full Text
View/download PDF

229. Assessing the Impact of Firewalls and Database Proxies on SQL Injection Testing

Author

Appelt, Dennis, Alshahwan, Nadia, Briand, Lionel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Vos, Tanja E.J., editor, Lakhotia, Kiran, editor, and Bauersfeld, Sebastian, editor

Published
2014
Full Text
View/download PDF

230. Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures

Author

Šimková, Marcela, Lengál, Ondřej, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

231. Word Equations with Length Constraints: What’s Decidable?

Author

Ganesh, Vijay, Minnes, Mia, Solar-Lezama, Armando, Rinard, Martin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

232. FoREnSiC– An Automatic Debugging Environment for C Programs

Author

Bloem, Roderick, Drechsler, Rolf, Fey, Görschwin, Finder, Alexander, Hofferek, Georg, Könighofer, Robert, Raik, Jaan, Repinski, Urmas, Sülflow, André, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

233. Environment-Friendly Safety

Author

Kupferman, Orna, Weiner, Sigal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

234. Precise Detection of Atomicity Violations

Author

Dias, Ricardo J., Pessanha, Vasco, Lourenço, João M., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

235. Proving Mutual Termination of Programs

Author

Elenbogen, Dima, Katz, Shmuel, Strichman, Ofer, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

236. Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking

Author

Rozier, Kristin Yvonne, Vardi, Moshe Y., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

237. Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation

Author

Kim, Youngjoo, Kim, Moonzoo, Kim, Tai-Hyo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

238. Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon Validation

Author

Zhu, Charlie Shucheng, Weissenbacher, Georg, Malik, Sharad, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

239. Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B

Author

Moller, Faron, Nguyen, Hoang Nga, Roggenbach, Markus, Schneider, Steve, Treharne, Helen, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

240. A New Test-Generation Methodology for System-Level Verification of Production Processes

Author

Adir, Allon, Goryachev, Alex, Greenberg, Lev, Salman, Tamer, Shurek, Gil, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

241. A Novel Approach for Implementing Microarchitectural Verification Plans in Processor Designs

Author

Katz, Yoav, Rimon, Michal, Ziv, Avi, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

242. Automated Reencoding of Boolean Formulas

Author

Manthey, Norbert, Heule, Marijn J. H., Biere, Armin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

243. Leveraging Accelerated Simulation for Floating-Point Regression

Author

Paul, John, Guralnik, Elena, Koyfman, Anatoly, Nahir, Amir, Panda, Subrat K., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

244. MaxSAT-Based MCS Enumeration

Author

Morgado, Antonio, Liffiton, Mark, Marques-Silva, Joao, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

245. Computing Interpolants without Proofs

Author

Chockler, Hana, Ivrii, Alexander, Matsliah, Arie, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

246. Repair with On-The-Fly Program Analysis

Author

Könighofer, Robert, Bloem, Roderick, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

247. Knowledge Based Transactional Behavior

Author

Bensalem, Saddek, Bozga, Marius, Peled, Doron, Quilbeuf, Jean, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

248. Test Case Generation by Grammar-Based Fuzzing for Model-Driven Engineering

Author

Widl, Magdalena, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

249. From Fault Injection to Mutant Injection: The Next Step for Safety Analysis?

Author

Rodriguez-Navas, Guillermo, Graydon, Patrick, Bate, Iain, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

250. Using Domain Specific Languages to Support Verification in the Railway Domain

Author

James, Phillip, Beckmann, Arnold, Roggenbach, Markus, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Biere, Armin, editor, Nahir, Amir, editor, and Vos, Tanja, editor

Published
2013
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results