Ernest Bota Pobee

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 6

Top Topics

Transaction Management

Correctness Criterion

Test Case Selection

Transactional Properties

Top Venues

ACM Trans. Softw. Eng. Methodol.

ESEC/SIGSOFT FSE

Publications

Jon Ayerdi, Aitor Arrieta, Ernest Bota Pobee, Maite Arratibel
Multi-Objective Metamorphic Test Case Selection: an Industrial Case Study (Practical Experience Report). ISSRE (2022)
Xiaoxue Ma, Shangru Wu, Ernest Bota Pobee, Xiupei Mei, Hao Zhang, Bo Jiang, Wing Kwong Chan
RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces. ACM Trans. Softw. Eng. Methodol. 30 (1) (2021)
Xiaoxue Ma, Shangru Wu, Ernest Bota Pobee, Xiupei Mei, Hao Zhang, Bo Jiang, Wing Kwong Chan
RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces. CoRR (2020)
Ernest Bota Pobee, Xiupei Mei, Wing Kwong Chan
Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs. ASE (2019)
Ernest Bota Pobee, Wing Kwong Chan
AggrePlay: efficient record and replay of multi-threaded programs. ESEC/SIGSOFT FSE (2019)
Jialin Yang, Ernest Bota Pobee, Wing Kwong Chan
A Case Study on Context Maintenance in Dynamic Hybrid Race Detectors. COMPSAC (2) (2017)