E-LIB Suche - Ergebnisse für: Pobee, Ernest

1

RegionTrack: A Trace-Based Sound and Complete Checker to De..:

Ma, Xiaoxue ; Wu, Shangru ; Pobee, Ernest...
ACM Transactions on Software Engineering and Methodology. 30 (2020) 1 - p. 1-49 , 2020

Link: https://doi.org/10.1145/..

2

RegionTrack : A Trace-Based Sound and Complete Checker t..:

Ma, Xiaoxue ; Wu, Shangru ; Pobee, Ernest...
ACM Transactions on Software Engineering and Methodology (TOSEM). 30 (2020) 1 - p. 1-49 , 2020

Link: https://dl.acm.org/doi/1..

3

Efficient Transaction-Based Deterministic Replay for Multi-..:

, In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Pobee, Ernest ; Mei, Xiupei ; Chan, W.K. - p. 760-771 , 2019

Link: https://doi.org/10.1109/..

4

Efficient transaction-based deterministic replay for multi-..:

, In: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering,

Pobee, Ernest ; Mei, Xiupei ; Chan, W. K. - p. 760-771 , 2019

Link: https://dl.acm.org/doi/1..

5

AggrePlay: efficient record and replay of multi-threaded pr..:

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

Pobee, Ernest ; Chan, W. K. - p. 567-577 , 2019

Link: https://dl.acm.org/doi/1..

6

Multi-Objective Metamorphic Test Case Selection: an Industr..:

, In: 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE),

Ayerdi, Jon ; Arrieta, Aitor ; Pobee, Ernest Bota. - p. 541-552 , 2022

Link: https://doi.org/10.1109/..

7

RegionTrack: A Trace-based Sound and Complete Checker to De..:

Ma, Xiaoxue ; Wu, Shangru ; Pobee, Ernest...
http://arxiv.org/abs/2008.04479. , 2020

Link: http://arxiv.org/abs/200..

8

replication-package-mr-test-selection:

Jon Ayerdi ; Aitor Arrieta ; Ernest Bota Pobee.
doi:10.5281/zenodo.6816397. , 2022

Link: https://zenodo.org/recor..