


Остановите войну!
for scientists:
Nikolai Tillmann
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [c98]Kyungwoo Lee, Ellis Hoag, Nikolai Tillmann:
Efficient profile-guided size optimization for native mobile applications. CC 2022: 243-253
2010 – 2019
- 2016
- [c97]Sihan Li, Xusheng Xiao
, Blake Bassett, Tao Xie, Nikolai Tillmann:
Measuring code behavioral similarity for programming and software engineering education. ICSE (Companion Volume) 2016: 501-510 - [c96]Tao Xie, Nikolai Tillmann, Pratap Lakshman:
Advances in unit testing: theory and practice. ICSE (Companion Volume) 2016: 904-905 - 2015
- [j9]Xusheng Xiao
, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal, Tao Xie:
User-aware privacy control via extended static-information-flow analysis. Autom. Softw. Eng. 22(3): 333-366 (2015) - [c95]Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan de Halleux:
Gamifying software security education and training via secure coding duels in code hunt. HotSoS 2015: 26:1-26:2 - [c94]Tao Xie, Judith Bishop, R. Nigel Horspool, Nikolai Tillmann, Jonathan de Halleux:
Crowdsourcing Code and Process via Code Hunt. CSI-SE 2015: 15-16 - [c93]Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann:
Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. MOBILESoft 2015: 83-93 - [c92]Judith Bishop, R. Nigel Horspool, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Code Hunt: Experience with Coding Contests at Scale. ICSE (2) 2015: 398-407 - [c91]R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann:
Experience with constructing code hunt contests. CHESE@ISSTA 2015: 1-4 - [e4]Tao Xie, Alessandro Orso, Judith Bishop, Nikolai Tillmann:
Proceedings of the 1st International Workshop on Code Hunt on Educational Software Engineering, CHESE@ISSTA 2015, Baltimore, MD, USA, July 14, 2015. ACM 2015, ISBN 978-1-4503-3711-3 [contents] - 2014
- [c90]Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann:
Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler. CC 2014: 218-237 - [c89]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop:
TouchDevelop: create rich mobile apps on touch devices (tutorial). MOBILESoft 2014: 1-2 - [c88]Arno Puder, Nikolai Tillmann, Michal Moskal:
Exposing native device APIs to web apps. MOBILESoft 2014: 18-26 - [c87]Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie:
Code hunt: searching for secret code for fun. SBST 2014: 23-26 - [c86]Michael Hilton
, Arpit Christi, Danny Dig, Michal Moskal, Sebastian Burckhardt, Nikolai Tillmann:
Refactoring local to cloud data types for mobile apps. MOBILESoft 2014: 83-92 - [c85]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Constructing coding duels in Pex4Fun and code hunt. ISSTA 2014: 445-448 - [c84]Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Transferring an automated test generation tool to practice: from pex to fakes and code digger. ASE 2014: 385-396 - [c83]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Code hunt: gamifying teaching and learning of computer science at scale. L@S 2014: 221-222 - [c82]Judith Bishop, Arno Puder, Nikolai Tillmann:
2nd workshop on programming for mobile and touch: PROMOTO 2014. SPLASH (Companion Volume) 2014: 81-82 - [e3]Gordon Fraser, Thomas D. LaToza, Leonardo Mariani, Fabrizio Pastore, Nikolai Tillmann:
Proceedings of the 1st International Workshop on CrowdSourcing in Software Engineering, CSI-SE 2014, Hyderabad, India, June 2, 2014. ACM 2014, ISBN 978-1-4503-2857-9 [contents] - [e2]Martina Seidl, Nikolai Tillmann:
Tests and Proofs - 8th International Conference, TAP@STAF 2014, York, UK, July 24-25, 2014. Proceedings. Lecture Notes in Computer Science 8570, Springer 2014, ISBN 978-3-319-09098-6 [contents] - 2013
- [b1]R. Nigel Horspool, Nikolai Tillmann:
TouchDevelop - Programming on the Go (3. ed.). The expert's voice in mobile technologies, Apress 2013, ISBN 978-1-4302-6136-0, pp. I-XX, 1-250 - [c81]Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Educational software engineering: where software engineering, education, and gaming meet. GAS@ICSE 2013: 36-39 - [c80]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop:
Teaching and learning programming and software engineering via interactive gaming. ICSE 2013: 1117-1126 - [c79]Tuan Anh Nguyen, Christoph Csallner, Nikolai Tillmann:
GROPG: a graphical on-phone debugger. ICSE 2013: 1189-1192 - [c78]Xusheng Xiao
, Sihan Li, Tao Xie, Nikolai Tillmann:
Characteristic studies of loop problems for structural test generation via symbolic execution. ASE 2013: 246-256 - [c77]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Pex4Fun: A web-based environment for educational gaming via automated test generation. ASE 2013: 730-733 - [c76]Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato
:
It's alive! continuous feedback in UI programming. PLDI 2013: 95-104 - [c75]Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux:
Generating Test Suites with Augmented Dynamic Symbolic Execution. TAP@STAF 2013: 152-167 - [c74]Sihan Li, Tao Xie, Nikolai Tillmann:
A comprehensive field study of end-user programming on mobile devices. VL/HCC 2013: 43-50 - [i2]Judith Bishop, Nikolai Tillmann, Arno Puder, Vinayak Naik:
PRoMoTo 2013 proceedings. CoRR abs/1309.5500 (2013) - 2012
- [j8]Linghao Zhang, Xiaoxing Ma
, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux:
Environmental Modeling for Automated Cloud Application Testing. IEEE Softw. 29(2): 30-35 (2012) - [c73]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie:
Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop. CSEE&T 2012: 87-89 - [c72]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Pex4Fun: Teaching and Learning Computer Science via Social Gaming. CSEE&T 2012: 90-91 - [c71]Tuan Anh Nguyen, Sarker T. A. Rumee, Christoph Csallner, Nikolai Tillmann:
An experiment in developing small mobile phone applications comparing on-phone to off-phone development. USER@ICSE 2012: 9-12 - [c70]Barry Burd, João Paulo Barros
, Chris Johnson, Stan Kurkovsky
, Arnold Rosenbloom, Nikolai Tillmann:
Educating for mobile computing: addressing the new challenges. ITiCSE-WGR 2012: 51-63 - [c69]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, Tao Xie:
The future of teaching programming is on mobile devices. ITiCSE 2012: 156-161 - [c68]Nikolai Tillmann, Judith Bishop:
Teaching programming on a mobile device. ITiCSE 2012: 404 - [c67]Xusheng Xiao
, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal:
User-aware privacy control via extended static-information-flow analysis. ASE 2012: 80-89 - [c66]Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux:
Augmented dynamic symbolic execution. ASE 2012: 254-257 - [c65]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Teaching and learning computing via social gaming with Pex4Fun (abstract only). SIGCSE 2012: 659 - [c64]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie:
Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). SIGCSE 2012: 663 - [c63]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt:
TouchDevelop: app development on mobile devices. SIGSOFT FSE 2012: 39 - [c62]Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens:
State Coverage: Software Validation Metrics beyond Code Coverage. SOFSEM 2012: 542-553 - 2011
- [c61]Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Pex4Fun: Teaching and learning computer science via social gaming. CSEE&T 2011: 546-548 - [c60]Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Retrofitting Unit Tests for Parameterized Unit Testing. FASE 2011: 294-309 - [c59]Xusheng Xiao
, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Precise identification of problems for structural test generation. ICSE 2011: 611-620 - [c58]Xi Ge, Kunal Taneja
, Tao Xie, Nikolai Tillmann:
DyTa: dynamic symbolic execution guided with static verification results. ICSE 2011: 992-994 - [c57]Xusheng Xiao
, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Covana: precise identification of problems in pex. ICSE 2011: 1004-1006 - [c56]Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser:
Symbolic execution for software testing in practice: preliminary assessment. ICSE 2011: 1066-1071 - [c55]Kunal Taneja
, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
eXpress: guided path exploration for efficient regression test generation. ISSTA 2011: 1-11 - [c54]Michael Philippsen
, Nikolai Tillmann, Daniel Brinkers:
Double Inspection for Run-Time Loop Parallelization. LCPC 2011: 46-60 - [c53]Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich:
TouchDevelop: programming cloud-connected mobile devices via touchscreen. Onward! 2011: 49-60 - [c52]Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su
:
Synthesizing method sequences for high-coverage testing. OOPSLA 2011: 189-206 - [c51]Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie:
Browser-based software for technology transfer. SAICSIT 2011: 338-340 - 2010
- [c50]Wolfram Schulte, Nikolai Tillmann:
Automatic parallelization of programming languages: past, present and future. IWMSE@ICSE 2010: 1 - [c49]Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Parameterized unit testing: theory and practice. ICSE (2) 2010: 483-484 - [c48]Rahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Guided test generation for coverage criteria. ICSM 2010: 1-10 - [c47]Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei:
Test generation via Dynamic Symbolic Execution for mutation testing. ICSM 2010: 1-10 - [c46]Margus Veanes, Peli de Halleux, Nikolai Tillmann:
Rex: Symbolic Regular Expression Explorer. ICST 2010: 498-507 - [c45]Kunal Taneja
, Nuo Li, Madhuri R. Marri, Tao Xie, Nikolai Tillmann:
MiTV: multiple-implementation testing of user-input validators for web applications. ASE 2010: 131-134 - [c44]Margus Veanes, Nikolai Tillmann, Jonathan de Halleux:
Qex: Symbolic SQL Query Explorer. LPAR (Dakar) 2010: 425-446 - [c43]Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte:
Teaching and training developer-testing techniques and tool support. SPLASH/OOPSLA Companion 2010: 175-182 - [c42]Michael Bebenita, Florian Brandner
, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter:
SPUR: a trace-based JIT compiler for CIL. OOPSLA 2010: 708-725 - [c41]Kiran Lakhotia, Nikolai Tillmann, Mark Harman
, Jonathan de Halleux:
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. ICTSS 2010: 142-157 - [c40]Michael W. Whalen, Patrice Godefroid, Leonardo Mariani
, Andrea Polini, Nikolai Tillmann, Willem Visser:
FITE: future integrated testing environment. FoSER 2010: 401-406 - [c39]Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Future of developer testing: building quality in code. FoSER 2010: 415-420 - [c38]Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth:
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. TAP@TOOLS 2010: 77-93 - [c37]Jonathan de Halleux, Nikolai Tillmann:
Moles: Tool-Assisted Environment Isolation with Closures. TOOLS (48) 2010: 253-270 - [e1]Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace
, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann:
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-2 [contents] - [i1]Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen:
FITE - Future Integrated Testing Environment. Practical Software Testing: Tool Automation and Human Factors 2010
2000 – 2009
- 2009
- [c36]Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Fitness-guided path exploration in dynamic symbolic execution. DSN 2009: 359-368 - [c35]Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann:
Symbolic Query Exploration. ICFEM 2009: 49-68 - [c34]Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
An Empirical Study of Testing File-System-Dependent Software with Mock Objects. AST 2009: 149-153 - [c33]Kunal Taneja
, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Guided path exploration for regression test generation. ICSE Companion 2009: 311-314 - [c32]Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann:
Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion 2009: 401-402 - [c31]Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Mutation Analysis of Parameterized Unit Tests. ICST Workshops 2009: 177-181 - [c30]Soonho Kong, Nikolai Tillmann, Jonathan de Halleux:
Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. ITNG 2009: 758-762 - [c29]Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. ASE 2009: 515-519 - [c28]Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
MSeqGen: object-oriented unit-test generation via mining source code. ESEC/SIGSOFT FSE 2009: 193-202 - [c27]Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens:
Test Input Generation for Programs with Pointers. TACAS 2009: 277-291 - [c26]Nikolaj S. Bjørner, Nikolai Tillmann, Andrei Voronkov:
Path Feasibility Analysis for String-Manipulating Programs. TACAS 2009: 307-321 - 2008
- [j7]Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin:
Automating Software Testing Using Program Analysis. IEEE Softw. 25(5): 30-37 (2008) - [c25]Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson:
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Formal Methods and Testing 2008: 39-76 - [c24]Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis:
DySy: dynamic symbolic execution for invariant inference. ICSE 2008: 281-290 - [c23]Nikolai Tillmann, Jonathan de Halleux:
White-box testing of behavioral web service contracts with Pex. TAV-WEB 2008: 47-48 - [c22]Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann:
Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN 2008: 9-25 - [c21]Saswat Anand, Patrice Godefroid, Nikolai Tillmann:
Demand-Driven Compositional Symbolic Execution. TACAS 2008: 367-381 - [c20]Nikolai Tillmann, Jonathan de Halleux:
Pex-White Box Test Generation for .NET. TAP 2008: 134-153 - [c19]Jonathan de Halleux, Nikolai Tillmann:
Parameterized Unit Testing with Pex. TAP 2008: 171-181 - 2007
- [c18]Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman:
Achieving both model and code coverage with automated gray-box testing. A-MOST 2007: 1-11 - [c17]Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Parameterized Unit Testing with Pex: Tutorial. PSSE 2007: 141-202 - 2006
- [j6]Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte:
XRT- Exploring Runtime for .NET Architecture and Applications. Electron. Notes Theor. Comput. Sci. 144(3): 3-26 (2006) - [j5]Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann:
Action Machines: a Framework for Encoding and Composing Partial Behaviors. Int. J. Softw. Eng. Knowl. Eng. 16(5): 705-726 (2006) - [j4]Nikolai Tillmann, Wolfram Schulte:
Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. IEEE Softw. 23(4): 38-47 (2006) - [c16]Nikolai Tillmann, Feng Chen, Wolfram Schulte:
Discovering Likely Method Specifications. ICFEM 2006: 717-736 - [c15]Nikolai Tillmann, Wolfram Schulte:
Mock-object generation with behavior. ASE 2006: 365-368 - 2005
- [j3]Yuri Gurevich, Nikolai Tillmann:
Partial updates. Theor. Comput. Sci. 336(2-3): 311-342 (2005) - [c14]Ana C. R. Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal:
Modeling and Testing Hierarchical GUIs. Abstract State Machines 2005: 329-344 - [c13]Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Testing Concurrent Object-Oriented Systems with Spec Explorer. FM 2005: 542-547 - [c12]Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal:
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. ICFEM 2005: 450-464 - [c11]Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes:
Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. QSIC 2005: 72-82 - [c10]Nikolai Tillmann, Wolfram Schulte:
Parameterized unit tests with unit meister. ESEC/SIGSOFT FSE 2005: 241-244 - [c9]Nikolai Tillmann, Wolfram Schulte:
Parameterized unit tests. ESEC/SIGSOFT FSE 2005: 253-262 - [c8]Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann:
Online testing with model programs. ESEC/SIGSOFT FSE 2005: 273-282 - 2004
- [j2]Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes:
Instrumenting scenarios in a model-driven development environment. Inf. Softw. Technol. 46(15): 1027-1036 (2004) - [c7]Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp:
Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64 - 2003
- [c6]Yuri Gurevich, Nikolai Tillmann:
Partial Updates Exploration II. Abstract State Machines 2003: 57-86 - [c5]Michael Barnett, Wolfram Schulte, Nikolai Tillmann:
Using AsmL for Runtime Verification. Abstract State Machines 2003: 407 - [c4]Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes:
Test Case Generation from AsmL Specifications. Abstract State Machines 2003: 413 - [c3]Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Towards a Tool Environment for Model-Based Testing with AsmL. FATES 2003: 252-266 - [c2]Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes:
Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246 - 2001
- [j1]Yuri Gurevich, Nikolai Tillmann:
Partial Updates: Exploration. J. Univers. Comput. Sci. 7(11): 917-951 (2001) - [c1]Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann:
Testable Use Cases in the Abstract State Machine Language. APAQS 2001: 167-172
Coauthor Index
Jonathan de Halleux
aka: Peli de Halleux
aka: Peli de Halleux
[j9] [c95] [c94] [c93] [c92] [c91] [c90] [c89] [c85] [c84] [c83] [c81] [c80] [c77] [c76] [c75] [j8] [c73] [c72] [c69] [c67] [c66] [c65] [c64] [c63] [c62] [c61] [c60] [c59] [c57] [c55] [c53] [c52] [c51] [c49] [c48] [c47] [c46] [c44] [c43] [c41] [c39] [c38] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [j7] [c23] [c22] [c20] [c19] [c17]