Paul Ammann - Publications, H-index & Citations

Paul Ammann

George Mason University

38H指数

192论文数

7.1K被引数

收录论文 10

发表时间

Mutation operators for testing Android apps 用于测试Android应用的变异运算符

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2017-01-01

PREAI

Deng, Lin; Offutt, Jeff; Ammann, Paul; Mirzaei, Nariman

Improving logic-based testing 改进基于逻辑的测试

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2013-08-01

OAAI

Kaminski, Gary; Ammann, Paul; Offutt, Jeff

A logic mutation approach to selective mutation for programs and queries

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2011-10-01

PREAI

Kaminski, Garrett; Praphamontripong, Upsorn; Ammann, Paul; Offutt, Jeff

Issues in using model checkers for test case generation 使用模型检查器生成测试用例的问题

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2009-09-01

PREAI

Fraser, Gordon; Wotawa, Franz; Ammann, Paul

Can-follow concurrency control Can-跟随并发控制

IEEE TRANSACTIONS ON COMPUTERS

IF3.8

2007-10-01

PREAI

Liu, Peng; Li, Jie; Jajodia, Sushil; Ammann, Paul

Recovery from malicious transactions

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING

IF10.4

2002-09-01

PREAI

Ammann, P; Jajodia, S; Liu, P

Trusted recovery

COMMUNICATIONS OF THE ACM

IF12.2

1999-07-01

OAAI

Jajodia, S; McCollum, CD; Ammann, P

Globally consistent event ordering in one directional distributed environments

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS

IF6

1996-06-01

PREAI

Ammann, P; Sajodia, S; Frankl, PG

ON-THE-FLY READING OF ENTIRE DATABASES

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING

IF10.4

1995-01-01

PREAI

AMMANN, P; JAJODIA, S; MAVULURI, P

THE PARTITIONED SYNCHRONIZATION RULE FOR PLANAR EXTENDIBLE PARTIAL ORDERS

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING

IF10.4

1995-01-01

PREAI

AMMANN, P; ATLURI, V; JAJODIA, S

研究方向