Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK004.415.53
Issue:1 (77)
AUTOMATIC SOLUTION MODIFICATIONS FOR TESTING SOLUTION CHECKERS
Annotation
The article deals with the method for testing solution checkers used in programming contests by making automatic modifications to solution source code. Successful application of the method to regional ACM ICPC NEERC 2011 and Russian Code Cup 2011 contests is described. Real bugs in solution checkers which were to be used for testing participants’ solutions but were found by the method and fixed before actual events are shown.
Keywords
Постоянный URL
Articles in current issue
- STRUCTURE FORMATION PRINCIPLES OF INTERFERENCE BEAM SPLITTERS
- CHOIСE OF MULTIWAVE AEROSOL LIDAR PARAMETERS FOR REMOTE ATMOSPHERE SOUNDING
- INVARIANT MODEL FOR ESTIMATION OF THE ATMOSPHERE TRANSMITTING EFFICIENCY AT OBJECTS MONITORING IN THE OPTICAL SPECTRAL RANGE
- SPECTRUM RESEARCH OF DNA MOLECULE IN THE TERAHERTZ FREQUENCY DOMAIN
- COMBINED METHOD OF RED BLOOD CELLS COUNTING ON BLOOD SMEAR IMAGES
- QUANTUM CRYPTOGRAPHY SYSTEM WITH A SINGLE PHOTON SOURCE BASED ON THE SPONTANEOUS PARAMETRIC SCATTERING EFFECT
- IDENTIFICATION OF THE LINEARLY VARYING FREQUENCY FOR THE SINUSOIDAL SIGNAL
- IMPROVED TIME-FREQUENCY ANALYSIS ALGORITHM OF BARELY VISIBLE RADAR STATIONS SIGNALS, BASED ON WINDOWED FOURIER TRANSFORM
- APPLICATION OF QUALITATIVE EXPONENTIAL INSTABILITY CONDITIONS FOR DYNAMIC PROCESSES ESTIMATION
- SERVO ACTUATOR CONTROL SYSTEM WITH NON-RIGID EXECUTIVE AXLE
- ANALYSIS OF ENERGY PERFORMANCE OF MULTILEVEL SEMICONDUCTOR CONVERTERS OF ELECTRIC DRIVE SYSTEMS
- SIMULATION ENVIRONMENT OF REAL-TIME AGENT-BASED SYSTEMS
- EFFECTIVE INFERENCE IN PRODUCTION RULES MODEL WITH COLUMN-ORIENTED DATABASES
- ONTOLOGY EXTRACTION FROM WIKI-SYSTEMS
- KEY PHRASES EXTRACTION
- IMPLEMENTATION ASPECTS OF SPEECH RECOGNITION APPLICATIONS IN CUSTOMER-SERVICE CALL CENTERS
- FITNESS FUNCTION CHOOSING FOR GENETIC ALGORITHMS WITH REINFORCEMENT LEARNING
- TREES APPLICATION FOR MULTI-DIMENSIONAL ARRAY MASS UPDATES
- GENETIC ALGORITHM APPROACH TO OBSERVER'S OPTIMAL TRAJECTORY DESIGN
- SCENARIO-BASED FINITE STATE MACHINE INDUCTION USING SAT-SOLVERS
- GENETIC PROGRAMMING APPLICATION FOR CELL AUTOMATA GENERATION
- AIRFOIL FORMATION SETTING FOR GAS BEARINGS
- MICROFLUID CHIPS FOR BIOLOGICAL OBJECTS RESEARCH BY METHODS OF HIGH-RESOLUTION MICROSCOPY
- STEGANOALGORITHM CREATION BASED ON FORMAT AND SPATIAL PRINCIPLES OF THE DATA HIDING
- ESTIMATION METHOD OF UNAUTHORIZED INTRUSION PROBABILITY DETECTION BY PASSIVE INFRARED DETECTOR
- AUTOMATED DESIGN AND RESEARCH SYSTEM OF WOODEN STRUCTURES WITH METAL GEAR PLATES
- DESIGN DECISION SUPPORT SYSTEM FOR SCIENTIFIC AND TECHNICAL INFORMATION DOCUMENTATION
- METHODOLOGY OF GRADUATE COMPETENCES EVALUATION
- ELECTRONIC DEVICE DESIGN AND MANUFACTURING IN A UNIFIED INFORMATION ENVIRONMENT FOR THE STUDENTS’ EDUCATIONAL PROCESS
- SETS OF THE VISUAL AND COMPUTATIONAL LABORATORY MODELS ON THE BASIS OF DIGITAL ELECTRONIC INFORMATION PROCESSING
- REFLECTION COEFFICIENT DECREASING METHOD OF FIBER BRAGG GRATINGS BY THE EFFECT OF PHOTOCHROMISM
- PARAMETRIC IDENTIFICATION OF BODIES’ INERTIA TENSORS ON SPHERICAL MOTIONS WITH SLOW SPIN
- INERTIA TENSOR IDENTIFICATION ON REVERSE-SYMMETRIC MOTIONS IN A FINITE ANGULAR RANGE