Darko Marinov

Josep Torrellas

Proceedings of the 53rd Annual IEEE/ACM International Symposium on Microarchitecture, 2020

Fault Localization for Declarative Models in Alloy.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

LIFT: Integrating Stakeholder Voices into Algorithmic Team Formation.

[BibT_eX]

[DOI]

Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

2019

Reflection-aware static regression test selection.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

How effective are existing Java API specifications for finding bugs during runtime verification?

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2019

iFixFlakies: a framework for automatically fixing order-dependent flaky tests.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Open Source Vulnerability Notification.

[BibT_eX]

[DOI]

Proceedings of the Open Source Systems - 15th IFIP WG 2.13 International Conference, 2019

Mitigating the effects of flaky tests on mutation testing.

[BibT_eX]

[DOI]

August Shi

Jonathan Bell

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Understanding and Improving Regression Test Selection in Continuous Integration.

[BibT_eX]

[DOI]

August Shi

Peiyuan Zhao

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Techniques for Evolution-Aware Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method.

[BibT_eX]

[DOI]

Allison Sullivan

Proceedings of the Formal Methods and Software Engineering, 2019

Scientific Tests and Continuous Integration Strategies to Enhance Reproducibility in the Scientific Software Context.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Practical Reproducible Evaluation of Computer Systems, 2019

gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis.

[BibT_eX]

[DOI]

Christopher W. Fletcher

Sarita V. Adve

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

Minotaur: Adapting Software Testing Techniques for Hardware Errors.

[BibT_eX]

[DOI]

Christopher W. Fletcher

Sarita V. Adve

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

Structure or Nurture?: The Effects of Team-Building Activities and Team Composition on Team Outcomes.

[BibT_eX]

[DOI]

Proc. ACM Hum. Comput. Interact., 2018

Reducing Combinatorial Testing Requirements Based on Equivalences with Respect to the Code Under Test.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Software Quality Analysis, 2018

ASketch: a sketching framework for Alloy.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

A large-scale study of test coverage evolution.

[BibT_eX]

[DOI]

Michael Hilton

Jonathan Bell

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Evaluating test-suite reduction in real software evolution.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Mining container image repositories for software configuration and beyond.

[BibT_eX]

[DOI]

Tianyin Xu

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

An extensible, regular-expression-based tool for multi-language mutant generation.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

DeFlaker: automatically detecting flaky tests.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

Solver-Based Sketching of Alloy Models Using Test Valuations.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

Systematic Generation of Non-equivalent Expressions for Relational Algebra.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Editorial for the special issue of STVR on the 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015).

[BibT_eX]

[DOI]

Gordon Fraser

Softw. Test. Verification Reliab., 2017

Evaluating State Modeling Techniques in Alloy.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Software Quality Analysis, 2017

Trade-offs in continuous integration: assurance, security, and flexibility.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

STARTS: STAtic regression test selection.

[BibT_eX]

[DOI]

Owolabi Legunsen

August Shi

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

You Want Me to Work with <i>Who</i>?: Stakeholder Perceptions of Automated Team Formation in Project-based Courses.

[BibT_eX]

[DOI]

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

2016

Exploring Underdetermined Specifications using Java PathFinder.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2016

An extensive study of static regression test selection in modern software evolution.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

How good are the specs? a study of the bug-finding effectiveness of existing Java API specifications.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Usage, costs, and benefits of continuous integration in open-source projects.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Evaluating non-adequate test-case reduction.

[BibT_eX]

[DOI]

Mohammad Amin Alipour

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Industry-Academia Collaboration in Software Testing: An Overview of TAIC PART 2016.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

COPE: vision for a change-oriented programming environment.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites.

[BibT_eX]

[DOI]

Mohammad Amin Alipour

ACM Trans. Softw. Eng. Methodol., 2015

A Case Study on Executing Instrumented Code in Java PathFinder.

[BibT_eX]

[DOI]

Karl Palmskog

Farah Hariri

ACM SIGSOFT Softw. Eng. Notes, 2015

Faster bug detection for software product lines with incomplete feature models.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Comparing and combining test-suite reduction and regression test selection.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

JaConTeBe: A Benchmark Suite of Real-World Java Concurrency Bugs (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Reliable testing: detecting state-polluting tests to prevent test dependency.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Practical regression test selection with dynamic file dependencies.

[BibT_eX]

[DOI]

Lamyaa Eloussi

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Evolution-Aware Monitoring-Oriented Programming.

[BibT_eX]

[DOI]

Owolabi Legunsen

Grigore Rosu

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Tempura: Temporal Dimension for IDEs.

[BibT_eX]

[DOI]

Yun Young Lee

Ralph E. Johnson

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Ekstazi: Lightweight Test Selection.

[BibT_eX]

[DOI]

Lamyaa Eloussi

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

RepOK-based reduction of bounded exhaustive testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2014

Towards a test automation framework for alloy.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Balancing trade-offs in test-suite reduction.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

An empirical analysis of flaky tests.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

An empirical evaluation and comparison of manual and automated test selection.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Regression Test Selection for Distributed Software Histories.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Efficient mutation testing of multithreaded code.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2013

SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Model-based, event-driven programming paradigm for interactive web applications.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2013

Operator-based and random mutant selection: Better together.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Faster mutation testing inspired by test prioritization and reduction.

[BibT_eX]

[DOI]

Lingming Zhang

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Comparing non-adequate test suites using coverage criteria.

[BibT_eX]

[DOI]

Mohammad Amin Alipour

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Toddler: detecting performance problems via similar memory-access patterns.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Temporal code completion and navigation.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Systematic Testing of Refactoring Engines on Real Software Projects.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Regression mutation testing.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2012

@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving.

[BibT_eX]

[DOI]

Junaid Haroon Siddiqui

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Evaluating Machine-Independent Metrics for State-Space Exploration.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

X10X: Model Checking a New Programming Language with an "Old" Model Checker.

[BibT_eX]

[DOI]

Peter C. Mehlitz

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2012

2011

Improved multithreaded unit testing.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

TestEra: A tool for testing Java programs using alloy specifications.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Change-aware preemption prioritization.

[BibT_eX]

[DOI]

Vilas Jagannath

Qingzhou Luo

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

CoDeSe: fast deserialization via code generation.

[BibT_eX]

[DOI]

Sam Kamin

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

An Empirical Study of JUnit Test-Suite Reduction.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

ReAssert: a tool for repairing broken unit tests.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Testing Container Classes: Random or Systematic?

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

Assertion Checking in J-Sim Simulation Models of Network Protocols.

[BibT_eX]

[DOI]

Simul., 2010

Basset: a tool for systematic testing of actor programs.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

InstantCheck: Checking the Determinism of Parallel Programs Using On-the-Fly Incremental Hashing.

[BibT_eX]

[DOI]

Adrian Nistor

Josep Torrellas

Proceedings of the 43rd Annual IEEE/ACM International Symposium on Microarchitecture, 2010

On test repair using symbolic execution.

[BibT_eX]

[DOI]

Brett Daniel

Tihomir Gvero

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

Mutation Operators for Actor Systems.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code.

[BibT_eX]

[DOI]

Vilas Jagannath

Proceedings of the Third International Conference on Software Testing, 2010

IMUnit: improved multithreaded unit testing.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010

Test generation through programming in UDITA.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2010

Introducing Continuous Systematic Testing of Evolving Software.

[BibT_eX]

[DOI]

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009

Light64: lightweight hardware support for data race detection during systematic testing of parallel programs.

[BibT_eX]

[DOI]

Adrian Nistor

Josep Torrellas

Proceedings of the 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), 2009

Optimizing a Structural Constraint Solver for Efficient Software Checking.

[BibT_eX]

[DOI]

Junaid Haroon Siddiqui

Proceedings of the ASE 2009, 2009

A Framework for State-Space Exploration of Java-Based Actor Programs.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

ReAssert: Suggesting Repairs for Broken Unit Tests.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Optimizing Generation of Object Graphs in Java PathFinder.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Reducing the Costs of Bounded-Exhaustive Testing.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs.

[BibT_eX]

[DOI]

Marcelo d'Amorim

Steven Lauterburg

IEEE Trans. Software Eng., 2008

Workshop on state-space exploration for automated testing (SSEAT 2008).

[BibT_eX]

[DOI]

Wolfram Schulte

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Efficient solving of structural constraints.

[BibT_eX]

[DOI]

Bassem Elkarablieh

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Incremental state-space exploration for programs with dynamically allocated data.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

State extensions for java pathfinder.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Parallel test generation and execution with Korat.

[BibT_eX]

[DOI]

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Automated testing of refactoring engines.

[BibT_eX]

[DOI]

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols.

[BibT_eX]

[DOI]

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Towards a Framework for Differential Unit Testing of Object-Oriented Programs.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Automation of Software Test, 2007

Korat: A Tool for Generating Structurally Complex Test Inputs.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Automated Testing of Eclipse and NetBeans Refactoring Tools.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Refactoring Tools, 2007

2006

Analyzing the Uses of a Software Modeling Tool.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, 2006

An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Detecting Redundant Unit Tests for AspectJ Programs.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Optimized Execution of Deterministic Blocks in Java PathFinder.

[BibT_eX]

[DOI]

Marcelo d'Amorim

Ahmed Sobeih

Proceedings of the Formal Methods and Software Engineering, 2006

Automated Detection of Refactorings in Evolving Components.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2006, 2006

2005

Automatic testing of software with structurally complex inputs.

[BibT_eX]

[DOI]

PhD thesis, 2005

Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

CUTE: a concolic unit testing engine for C.

[BibT_eX]

[DOI]

Koushik Sen

Gul Agha

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Optimizations for Compiling Declarative Models into Boolean Formulas.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2005

2004

TestEra: Specification-Based Testing of Java Programs Using SAT.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2004

Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests.

[BibT_eX]

[DOI]

Tao Xie

David Notkin

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

2003

A Case for Efficient Solution Enumeration.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Object equality profiling.

[BibT_eX]

[DOI]

Robert O'Callahan

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

Integrating Model Checking and Theorem Proving for Relational Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

2002

Counting 1324-Avoiding Permutations.

[BibT_eX]

[DOI]

Rados Radoicic

Electron. J. Comb., 2002

An analyzable annotation language.

[BibT_eX]

[DOI]

Daniel Jackson

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

Korat: automated testing based on Java predicates.

[BibT_eX]

[DOI]

Chandrasekhar Boyapati

Proceedings of the International Symposium on Software Testing and Analysis, 2002

VAlloy - Virtual Functions Meet a Relational Language.

[BibT_eX]

[DOI]

Proceedings of the FME 2002: Formal Methods, 2002

2001

Checking Java implementation of a naming architecture using Testera.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Software Model Checking 2001, 2001

TestEra: A Novel Framework for Automated Testing of Java Programs.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000

Scowl: A Tool for Characterization of Parallel Workload and its Use on Splash-2 Application Suite.

[BibT_eX]

[DOI]

Davor Magdic

Aleksandar Milenkovic

Jelica Protic

Igor Tartalja

Veljko M. Milutinovic

Proceedings of the MASCOTS 2000, Proceedings of the 8th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 29 August, 2000

1999

CALKAS: a computer architecture learning and knowledge assessment system.

[BibT_eX]

[DOI]

Jovan Djordjevic

Aleksandar Milenkovic

Ivan Todorovic