Christoph Csallner
Cited by
Cited by
JCrasher: an automatic robustness tester for Java
C Csallner, Y Smaragdakis
Software: Practice and Experience 34 (11), 1025-1050, 2004
Check'n'Crash: Combining static checking and testing
C Csallner, Y Smaragdakis
Proceedings of the 27th international conference on Software engineering …, 2005
C Csallner, N Tillmann, Y Smaragdakis
2008 ACM/IEEE 30th International Conference on Software Engineering, 281-290, 2008
DSD-Crasher: A hybrid analysis tool for bug finding
C Csallner, Y Smaragdakis, T Xie
ACM Transactions on Software Engineering and Methodology (TOSEM) 17 (2), 1-37, 2008
Reverse engineering mobile application user interfaces with remaui (t)
TA Nguyen, C Csallner
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
Carfast: Achieving higher statement coverage faster
S Park, BMM Hossain, I Hussain, C Csallner, M Grechanik, K Taneja, ...
Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012
Is data privacy always good for software testing?
M Grechanik, C Csallner, C Fu, Q Xie
2010 IEEE 21st International Symposium on Software Reliability Engineering …, 2010
Combining static and dynamic reasoning for bug detection
Y Smaragdakis, C Csallner
International Conference on Tests and Proofs, 1-16, 2007
Dsc+ mock: A test case+ mock class generator in support of coding against interfaces
M Islam, C Csallner
Proceedings of the Eighth International Workshop on Dynamic Analysis, 26-31, 2010
Dynamically discovering likely interface invariants
C Csallner, Y Smaragdakis
Proceedings of the 28th international conference on Software engineering …, 2006
New ideas track: testing mapreduce-style programs
C Csallner, L Fegaras, C Li
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
Dynamic symbolic database application testing.
C Li, C Csallner
DBTest, 2010
Fundexplorer: Supporting the diversification of mutual fund portfolios using context treemaps
C Csallner, M Handte, O Lehmann, J Stasko
IEEE Symposium on Information Visualization 2003 (IEEE Cat. No. 03TH8714 …, 2003
A combinatorial approach to detecting buffer overflow vulnerabilities
W Wang, Y Lei, D Liu, D Kung, C Csallner, D Zhang, R Kacker, R Kuhn
2011 IEEE/IFIP 41st International Conference on Dependable Systems …, 2011
Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge
SA Chowdhury, S Mohian, S Mehra, S Gawsane, TT Johnson, C Csallner
Proceedings of the 40th International Conference on Software Engineering …, 2018
GROPG: A graphical on-phone debugger
TA Nguyen, C Csallner, N Tillmann
2013 35th International Conference on Software Engineering (ICSE), 1189-1192, 2013
SEDGE: Symbolic example data generation for dataflow programs
K Li, C Reichenbach, Y Smaragdakis, Y Diao, C Csallner
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
Scalable satisfiability checking and test data generation from modeling diagrams
Y Smaragdakis, C Csallner, R Subramanian
Automated Software Engineering 16 (1), 73-99, 2009
Residual investigation: Predictive and precise bug detection
K Li, C Reichenbach, C Csallner, Y Smaragdakis
ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (2), 1-32, 2014
Detecting vulnerabilities in c programs using trace-based testing
D Zhang, D Liu, Y Lei, D Kung, C Csallner, W Wang
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
The system can't perform the operation now. Try again later.
Articles 1–20