Search Results - "Groce, Alex"

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

Authors: Groce, Alex Holmes, Josie Marinov, Darko et al.

Source: ICSE: International Conference on Software Engineering; 5/27/2018, p25-28, 4p

Using mutants to help developers distinguish and debug (compiler) faults.

Authors: Holmes, Josie Groce, Alex

Source: Software Testing: Verification & Reliability; Mar2020, Vol. 30 Issue 2, pN.PAG-N.PAG, 1p

Modular Verification of Software Components in C.

Authors: Chaki, Sagar Clarke, Edmund M. Groce, Alex

Source: IEEE Transactions on Software Engineering; Jun2004, Vol. 30 Issue 6, p388-402, 15p

Does choice of mutation tool matter?

Authors: Gopinath, Rahul Ahmed, Iftekhar Alipour, Mohammad et al.

Source: Software Quality Journal; Sep2017, Vol. 25 Issue 3, p871-920, 50p

On The Limits of Mutation Reduction Strategies.

Authors: Gopinath, Rahul Alipour, Mohammad Amin Ahmed, Iftekhar et al.

Source: ICSE: International Conference on Software Engineering; 5/14/2016, p511-522, 12p

How verified (or tested) is my code? Falsification-driven verification and testing.

Authors: Groce, Alex Ahmed, Iftekhar Jensen, Carlos et al.

Source: Automated Software Engineering. Dec2018, Vol. 25 Issue 4, p917-960. 44p.

From scripts to specifications.

Authors: Groce, Alex Havelund, Klaus Smith, Margaret

Source: ICSE: International Conference on Software Engineering; May2010, p129-138, 10p

Cause reduction: delta debugging, even without bugs.

Authors: Groce, Alex Alipour, Mohammad Amin Zhang, Chaoqiang et al.

Source: Software Testing: Verification & Reliability; Jan2016, Vol. 26 Issue 1, p40-68, 29p

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

Authors: GLIGORIC, MILOS GROCE, ALEX CHAOQIANG ZHANG et al.

Source: ACM Transactions on Software Engineering & Methodology; 2015 SpecialIssue, Vol. 24, p22:1-22:33, 33p

Adaptive Model Checking.

Authors: Groce, Alex Peled, Doron Yannakakis, Mihalis

Source: Logic Journal of the IGPL; Oct2006, Vol. 14 Issue 5, p729-744, 16p

2011 Annual Index.

Source: IEEE Transactions on Software Engineering; Jan2012, Vol. 38 Issue 1, pN.PAG, 0p

An Insight Into an Insane Asylum

Authors: Joseph Camp

Resource Type: eBook.

Subjects: Mental illness--Treatment, Psychiatric hospital patients--Alabama--Tuscaloosa--Biography, Psychiatric hospitals, Patients, Mentally ill--Commitment and detention

Categories: BIOGRAPHY & AUTOBIOGRAPHY / General, BIOGRAPHY & AUTOBIOGRAPHY / Memoirs, HISTORY / United States / State & Local / South (AL, AR, FL, GA, KY, LA, MS, NC, SC, TN, VA, WV), MEDICAL / Psychiatry / General