Concepedia

Christoph Csallner

CC

32

Publications

1.8K

Citations

18

H-Index

2004

Active since

Affiliations

The University of Texas at Arlington(Current)

Georgia Institute of Technology

University of Illinois Chicago

Accenture (United States)

North Carolina State University

Christoph Csallner is an author at The University of Texas at Arlington specializing in computer science, software analysis, and engineering.

Top concepts

EngineeringComputer ScienceSoftware AnalysisSoftware TestingSoftware EngineeringProgram AnalysisFormal MethodsFormal VerificationVerificationSoftware Design

Publications per year

2004–2022

32

Publications

32

JCrasher: an automatic robustness tester for Java

Christoph Csallner, Yannis Smaragdakis · Software Practice and Experience · 2004 · 422 citations

Engineering, Automatic Robustness Tester, Verification +17

Check 'n' crash

Christoph Csallner, Yannis Smaragdakis · 2005 · 218 citations

Program Checking, Engineering, Verification +19

DySy

Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis · 2008 · 200 citations

Software Maintenance, Program Checking, Engineering +18

Reverse Engineering Mobile Application User Interfaces with REMAUI (T)

Tuan Anh Nguyen, Christoph Csallner · 2015 · 191 citations

Engineering, Mobile Interaction, Visual Interface +18

Christoph Csallner, Yannis Smaragdakis, Tao Xie · ACM Transactions on Software Engineering and Methodology · 2008 · 121 citations

Engineering, Derived Invariants, Verification +16

Rows per page

1–5 of 32