Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Trace Typing: An Approach for Evaluating Retrofitted Type Systems.

E. Andreasen, C. Gordon, S. Chandra, M. Sridharan, F. Tip, and K. Sen. ECOOP, volume 56 of LIPIcs, page 1:1-1:26. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tatiana Senkova University of Stuttgart

Ph. D. Gennaro Senatore University of Stuttgart

Ute Sengle University of Stuttgart

Dr. -Ing. Christian Senger University of Stuttgart

M. Senf

Other publications of authors with the same name

Hybrid Concolic Testing.R. Majumdar, and K. Sen. ICSE, page 416-426. IEEE Computer Society, (2007)Efficient Decentralized Monitoring of Safety in Distributed Systems.K. Sen, A. Vardhan, G. Agha, and G. Rosu. ICSE, page 418-427. IEEE Computer Society, (2004)TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications.H. Tanno, X. Zhang, T. Hoshino, and K. Sen. ICSE (2), page 717-720. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Maximizing Communication Overlap with Dynamic Program Analysis.E. Saillard, K. Sen, W. Lavrijsen, and C. Iancu. HPC Asia, page 1-11. ACM, (2018)Learning to Verify Safety Properties.A. Vardhan, K. Sen, M. Viswanathan, and G. Agha. ICFEM, volume 3308 of Lecture Notes in Computer Science, page 274-289. Springer, (2004)CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.P. Joshi, M. Naik, C. Park, and K. Sen. CAV, volume 5643 of Lecture Notes in Computer Science, page 675-681. Springer, (2009)Model-Checking omega-Regular Properties of Interval Markov Chains.K. Chatterjee, K. Sen, and T. Henzinger. FoSSaCS, volume 4962 of Lecture Notes in Computer Science, page 302-317. Springer, (2008)Symbolic execution for software testing: three decades later.C. Cadar, and K. Sen. Commun. ACM, 56 (2): 82-90 (2013)Online Efficient Predictive Safety Analysis of Multithreaded Programs.K. Sen, G. Rosu, and G. Agha. TACAS, volume 2988 of Lecture Notes in Computer Science, page 123-138. Springer, (2004)PerfFuzz: automatically generating pathological inputs.C. Lemieux, R. Padhye, K. Sen, and D. Song. ISSTA, page 254-265. ACM, (2018)