Следене
Christoph Csallner
Заглавие
Позовавания
Позовавания
Година
JCrasher: an automatic robustness tester for Java
C Csallner, Y Smaragdakis
Software: Practice and Experience 34 (11), 1025-1050, 2004
5962004
Check'n'Crash: Combining static checking and testing
C Csallner, Y Smaragdakis
Proceedings of the 27th international conference on Software engineering …, 2005
3192005
DySy: Dynamic symbolic execution for invariant inference
C Csallner, N Tillmann, Y Smaragdakis
Proceedings of the 30th international conference on Software engineering …, 2008
3012008
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
2922008
Reverse engineering mobile application user interfaces with remaui (t)
TA Nguyen, C Csallner
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
2122015
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
782012
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
702010
Combining static and dynamic reasoning for bug detection
Y Smaragdakis, C Csallner
International Conference on Tests and Proofs, 1-16, 2007
622007
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
572011
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
532010
Dynamically discovering likely interface invariants
C Csallner, Y Smaragdakis
Proceedings of the 28th international conference on Software engineering …, 2006
522006
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
442018
Dynamic symbolic database application testing.
C Li, C Csallner
DBTest, 2010
382010
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
342003
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
332011
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
292014
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
292013
SLEMI: Equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink
SA Chowdhury, SL Shrestha, TT Johnson, C Csallner
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
282020
Systems, apparatuses and methods for generating a user interface by performing computer vision and optical character recognition on a graphical representation
TA Nguyen, C Csallner
US Patent 10,191,889, 2019
262019
P2A: A tool for converting pixels to animated mobile application user interfaces
S Natarajan, C Csallner
Proceedings of the 5th International Conference on Mobile Software …, 2018
252018
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20