Alper Sen

Alper Çakan

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

A Cluster Based System for Analyzing Ethereum Blockchain Transaction Data.

[BibT_eX]

[DOI]

Baran Kiliç

Can C. Özturan

Proceedings of the 2020 Second International Conference on Blockchain Computing and Applications, 2020

2019

Bug Prediction of SystemC Models Using Machine Learning.

[BibT_eX]

[DOI]

Mustafa Efendioglu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Reinforcement Learning-Driven Test Generation for Android GUI Applications using Formal Specifications.

[BibT_eX]

[DOI]

CoRR, 2019

DeepFault: Fault Localization for Deep Neural Networks.

[BibT_eX]

[DOI]

Simos Gerasimou

Muharrem Orkun Saglamdemir

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Analog behavioral equivalence boundary computation under the effect of process variations.

[BibT_eX]

[DOI]

Günhan Dündar

Integr., 2018

Hybrid Data Race Detection for Multicore Software.

[BibT_eX]

[DOI]

Onder Kalaci

Comput. Informatics, 2018

The relationship between evolutionary coupling and defects in large industrial software (journal-first abstract).

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Analysis, 2018

Fancymock: creating virtual services from transactions.

[BibT_eX]

[DOI]

Suleyman Olcay Polat

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

QBE: QLearning-Based Exploration of Android Applications.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Testing service oriented architectures using stateful service visualization via machine learning.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Automation of Software Test, 2018

TCM: Test Case Mutation to Improve Crash Detection in Android.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017

The relationship between evolutionary coupling and defects in large industrial software.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2017

Evolutionary coupling measurement: Making sense of the current chaos.

[BibT_eX]

[DOI]

Serkan Kirbas

Tracy Hall

Sci. Comput. Program., 2017

Android'de Cokme Tespitini Iyilestirme Amacli Model-Tabanli ve Rastgele Karma Yontem(Combining Model-Based and Random Approaches to Improve Crash Detection in Android).

[BibT_eX]

[DOI]

Mustafa Efendioglu

Proceedings of the 11th Turkish National Software Engineering Symposium, 2017

Otomatik Sanal Servis Olusturma(Automatic Virtual Service Creation).

[BibT_eX]

[DOI]

Suleyman Olcay Polat

Proceedings of the 11th Turkish National Software Engineering Symposium, 2017

MINIME-validator: Validating hardware with synthetic parallel testcases.

[BibT_eX]

[DOI]

Brian Kahne

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

MINIME-GPU: Multicore Benchmark Synthesizer for GPUs.

[BibT_eX]

[DOI]

Muharrem Orkun Saglamdemir

ACM Trans. Archit. Code Optim., 2016

An analog behavioral equivalence boundary search methodology for simulink models and circuit level designs utilizing evolutionary computation.

[BibT_eX]

[DOI]

Gönenç Berkol

Günhan Dündar

Integr., 2016

Using Machine Learning Techniques to Detect Parallel Patterns of Multi-threaded Applications.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2016

e-Arsiv Fatura icin Aksakliga Dayanikli Dagitik bir Sistem Tasarimi.

[BibT_eX]

[DOI]

Salih Bayar

Proceedings of the 10th Turkish National Software Engineering Symposium, 2016

Design of a Modified Concolic Testing Algorithm with Smaller Constraints.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Constraint Solvers in Testing, 2016

Defect prediction on a legacy industrial software: a case study on software with few defects.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Conducting Empirical Studies in Industry, 2016

2015

MINIME: Pattern-Aware Multicore Benchmark Synthesizer.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2015

Thread-level synthetic benchmarks for multicore systems.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2015

Büyüyen Kısmi Yol Kısıtlarıyla Konkolik Test.

[BibT_eX]

[DOI]

Proceedings of the 9th Turkish National Software Engineering Symposium, 2015

Kullanıcı Tarafında eBelge Oluşturma ve Yazdırma Yazılım Deneyimleri.

[BibT_eX]

[DOI]

Salih Bayar

Mehmet Görkem Ülkar

Proceedings of the 9th Turkish National Software Engineering Symposium, 2015

2014

Değişiklik Bağlaşımı ve Yazılım Hataları İlişkisinin İncelenmesi.

[BibT_eX]

[DOI]

Proceedings of the 8th Turkish National Software Engineering Symposium, 2014

Hybrid dynamic data race detection in systemC.

[BibT_eX]

[DOI]

Onder Kalaci

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

The effect of evolutionary coupling on software defects: an industrial case study on a legacy system.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2014

Fast System Level Benchmarks for Multicore Architectures.

[BibT_eX]

[DOI]

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013

LLVMVF: A Generic Approach for Verification of Multicore Software.

[BibT_eX]

[DOI]

Marcelo Sousa

J. Electron. Test., 2013

Analog layer extensions for analog/mixed-signal assertion languages.

[BibT_eX]

[DOI]

Dogan Ulus

I. Faik Baskaya

Proceedings of the 21st IEEE/IFIP International Conference on VLSI and System-on-Chip, 2013

Yazılım Depoları Madenciliği ile Endüstriyel Yazılım Evrimi İncelemesi.

[BibT_eX]

[DOI]

Serkan Kirbas

Proceedings of the 7th National Software Engineering Symposium, 2013

Integrating circuit analyses for assertion-based verification of programmable AMS circuits.

[BibT_eX]

[DOI]

Dogan Ulus

I. Faik Baskaya

Proceedings of the 2013 Forum on specification and Design Languages, 2013

2012

Verification and coverage of message passing multicore applications.

[BibT_eX]

[DOI]

Jim Holt

ACM Trans. Design Autom. Electr. Syst., 2012

A Heterogeneous Simulation and Modeling Framework for Automation Systems.

[BibT_eX]

[DOI]

Dogan Fennibay

Arda Yurdakul

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

High-Level verifiable data-path Synthesis for DSP systems.

[BibT_eX]

[DOI]

Proceedings of the 20th Signal Processing and Communications Applications Conference, 2012

Using software architectural patterns for synthetic embedded multicore benchmark development.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Symposium on Workload Characterization, 2012

Using haloes in mixed-signal assertion based verification.

[BibT_eX]

[DOI]

Dogan Ulus

Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012

A Verifiable High Level Data Path Synthesis Framework.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Verification coverage of embedded multicore applications.

[BibT_eX]

[DOI]

Jim Holt

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Generation of TLM testbenches using mutation testing.

[BibT_eX]

[DOI]

Marcelo Sousa

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011

Concurrency-oriented verification and coverage of system-level designs.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2011

Special Issue on the 9th International Symposium on Parallel and Distributed Computing.

[BibT_eX]

[DOI]

Can C. Özturan

Sci. Program., 2011

Speeding Up Cycle Based Logic Simulation Using Graphics Processing Units.

[BibT_eX]

[DOI]

Baris Aksanli

Murat Bozkurt

Int. J. Parallel Program., 2011

Verification Tests for MCAPI.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Microprocessor Test and Verification, 2011

2010

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2010

Using Graphics Processing Units for Logic Simulation of Electronic Designs.

[BibT_eX]

[DOI]

Baris Aksanli

Murat Bozkurt

Proceedings of the 11th International Workshop on Microprocessor Test and Verification, 2010

Parallel Cycle Based Logic Simulation Using Graphics Processing Units.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Symposium on Parallel and Distributed Computing, 2010

Coverage metrics for verification of concurrent SystemC designs using mutation testing.

[BibT_eX]

[DOI]

Magdy S. Abadir

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

Introducing Hardware-in-Loop Concept to the Hardware/Software Co-design of Real-time Embedded Systems.

[BibT_eX]

[DOI]

Dogan Fennibay

Arda Yurdakul

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

Mutation Operators for Concurrent SystemC Designs.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Microprocessor Test and Verification, 2009

2008

Predictive runtime verification of multi-processor SoCs in SystemC.

[BibT_eX]

[DOI]

Vinit Ogale

Magdy S. Abadir

Proceedings of the 45th Design Automation Conference, 2008

2007

Solving Computation Slicing Using Predicate Detection.

[BibT_eX]

[DOI]

Neeraj Mittal

IEEE Trans. Parallel Distributed Syst., 2007

Formal Verification of Simulation Traces Using Computation Slicing.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2007

Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits.

[BibT_eX]

[DOI]

Scott Little

Chris J. Myers

Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007

Runtime Verification of k-Mutual Exclusion for SoCs.

[BibT_eX]

[DOI]

Selma Ikiz

Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007

2006

Error Diagnosis in Equivalence Checking of High Performance Microprocessors.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Verification and Debugging, 2006

2005

Establishing latch correspondence for embedded circuits of PowerPC microprocessors.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

2004

Formal Verification of a System-on-Chip Using Computation Slicing.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2004 International Test Conference (ITC 2004), 2004

Finding Satisfying Global States: All for One and One for All.

[BibT_eX]

[DOI]

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003

Partial Order Trace Analyzer (POTA) for Distributed Programs.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Run-time Verification, 2003

Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003

On Checking Whether a Predicate Definitely Holds.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Software Testing, 2003

2002

Detecting Temporal Logic Predicates on the Happened-Before Model.

[BibT_eX]

[DOI]