Следене
Christoph Csallner
Заглавие
Позовавания
Позовавания
Година
JCrasher: an automatic robustness tester for Java
C Csallner, Y Smaragdakis
Software: Practice and Experience 34 (11), 1025-1050, 2004
6062004
Check'n'Crash: Combining static checking and testing
C Csallner, Y Smaragdakis
Proceedings of the 27th international conference on Software engineering …, 2005
3252005
DySy: Dynamic symbolic execution for invariant inference
C Csallner, N Tillmann, Y Smaragdakis
Proceedings of the 30th international conference on Software engineering …, 2008
3102008
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
2972008
Reverse engineering mobile application user interfaces with remaui (t)
TA Nguyen, C Csallner
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
2472015
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
822012
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
742010
Combining static and dynamic reasoning for bug detection
Y Smaragdakis, C Csallner
International Conference on Tests and Proofs, 1-16, 2007
672007
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
592011
Dynamically discovering likely interface invariants
C Csallner, Y Smaragdakis
Proceedings of the 28th international conference on Software engineering …, 2006
532006
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
522018
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
522010
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
482019
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
382020
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
372003
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
332014
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
A curated corpus of Simulink models for model-based empirical studies
SA Chowdhury, LS Varghese, S Mohian, TT Johnson, C Csallner
Proceedings of the 4th International Workshop on Software Engineering for …, 2018
312018
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
282018
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20